Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
improved *.sty handling
authorhaftmann
Wed, 01 Jun 2005 08:57:49 +0200
changeset 16162 ffe21872a2a0
parent 16161 519d717ae9e3
child 16163 a9f460f16fd6
improved *.sty handling
lib/Tools/latex file | annotate | diff | comparison | revisions 
--- a/lib/Tools/latex	Wed Jun 01 08:56:58 2005 +0200
+++ b/lib/Tools/latex	Wed Jun 01 08:57:49 2005 +0200
@@ -87,7 +87,7 @@
   do
     TARGET="$DIR"/$(basename $STYLEFILE)
     rm -f $TARGET
-    "$AUTO_PERL" -n -e 's/\$Id$]*)\$/originating from CVS: $1/g; print;' $STYLEFILE > $TARGET
+    "$AUTO_PERL" -n -e 's/\$[I]d:?(?:\s)*([^\$]*)\$/originating from CVS: $1/g; print;' $STYLEFILE > $TARGET
   done
 }
isabelle