From 89b3fb003ca18cd804099ce5338fe29572188c1f Mon Sep 17 00:00:00 2001
From: daboe01 <daboe01@googlemail.com>
Date: Sat, 21 Jun 2025 17:29:31 +0200
Subject: [PATCH] formatting

---
 Jakefile | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/Jakefile b/Jakefile
index 17a843f67..f79b88ea2 100644
--- a/Jakefile
+++ b/Jakefile
@@ -155,13 +155,6 @@ function executableExists(command) {
     }
 }
 
-// ===========================================================================
-//
-// THIS IS THE FINAL, CORRECT VERSION.
-// IT CORRECTLY HANDLES THE 'docs' and 'docset' TASKS SEPARATELY.
-//
-// ===========================================================================
-
 function generateDocs(/* boolean */ noFrame, /* boolean */ buildDocset = false)
 {
     var doxygen = null;