diff -r b001ec2b56e1 -r 34993cdffbf7 lib/scripts/patch-scripts.bash
--- a/lib/scripts/patch-scripts.bash	Fri Mar 07 09:43:05 1997 +0100
+++ b/lib/scripts/patch-scripts.bash	Fri Mar 07 09:43:31 1997 +0100
@@ -1,7 +1,7 @@
 #
 # $Id$
 #
-# patch-scripts.bash - relocate interpreter paths of Isabelle scripts.
+# patch-scripts.bash - relocate interpreter paths of executable scripts.
 #
 
 ## find binaries