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.
dvips -q;
authorwenzelm
Sat, 20 Oct 2001 20:15:44 +0200
changeset 11845 6d9d2b1d455d
parent 11844 eb072fd9a45a
child 11846 2ce611f870e0
dvips -q;
lib/Tools/latex file | annotate | diff | comparison | revisions 
--- a/lib/Tools/latex	Sat Oct 20 20:15:27 2001 +0200
+++ b/lib/Tools/latex	Sat Oct 20 20:15:44 2001 +0200
@@ -76,7 +76,7 @@
 function run_latex () { $ISABELLE_LATEX "\\nonstopmode\\input{$FILEBASE.tex}"; }
 function run_pdflatex () { $ISABELLE_PDFLATEX "\\nonstopmode\\input{$FILEBASE.tex}"; }
 function run_bibtex () { $ISABELLE_BIBTEX </dev/null "$FILEBASE"; }
-function run_dvips () { $ISABELLE_DVIPS -o "$FILEBASE.ps" "$FILEBASE.dvi"; }
+function run_dvips () { $ISABELLE_DVIPS -q -o "$FILEBASE.ps" "$FILEBASE.dvi"; }
 function run_thumbpdf () { [ -n "$ISABELLE_THUMBPDF" ] && $ISABELLE_THUMBPDF "$FILEBASE"; }
 
 function update_styles ()
isabelle