math/isabelle/files/patch-lib-Tools-doc


1
2
3
4
5
6
7
8
9
10

--- lib/Tools/doc.orig	Tue Jun  8 10:29:49 2004
+++ lib/Tools/doc	Sat Aug 13 10:47:40 2005
@@ -32,6 +32,7 @@
 
 [ "$#" -ne 0 -o "$DOC" = "-?" ] && usage
 
+DOC=`expr "$DOC" : '^[ 	]*\(.*\)'`
 
 ## main