| changeset 15894 | 41f9c0902db1 |
| parent 15491 | 7c1f6e84f4ad |
| child 15898 | 435f0e743854 |
--- a/doc-src/LaTeXsugar/IsaMakefile Sat Apr 30 02:43:45 2005 +0200 +++ b/doc-src/LaTeXsugar/IsaMakefile Sat Apr 30 02:45:17 2005 +0200 @@ -14,7 +14,7 @@ OUT = $(ISABELLE_OUTPUT) LOG = $(OUT)/log -USEDIR = $(ISATOOL) usedir -v true -i true -d pdf -D generated -H false +USEDIR = $(ISATOOL) usedir -v true -i false -g false -d false -D document -H false ## Sugar