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.
remove more files (index, log files) for -c option
authorkleing
Wed, 28 Jan 2004 01:19:34 +0100
changeset 14367 0b1447d37161
parent 14366 dd4e0f2c071a
child 14368 2763da611ad9
remove more files (index, log files) for -c option
lib/Tools/document file | annotate | diff | comparison | revisions 
--- a/lib/Tools/document	Tue Jan 27 15:49:33 2004 +0100
+++ b/lib/Tools/document	Wed Jan 28 01:19:34 2004 +0100
@@ -83,7 +83,7 @@
 function pre_latex ()
 {
   local FMT="$1"
-  [ -n "$CLEAN" ] && rm -f *.aux *.out *.ind
+  [ -n "$CLEAN" ] && rm -f *.aux *.out *.ind *.idx *.ilg *.bbl *.blg *.log
   "$ISATOOL" latex -o sty && \
   "$ISATOOL" latex -o "$FMT" && \
   { [ ! -f root.bib ] || "$ISATOOL" latex -o bbl; } && \
isabelle