--- a/doc-src/Makefile.in Wed Dec 06 11:47:21 2000 +0100
+++ b/doc-src/Makefile.in Wed Dec 06 12:26:26 2000 +0100
@@ -13,8 +13,10 @@
SEDINDEX = ../sedindex
FIXBOOKMARKS = perl -pi ../fixbookmarks.pl
-GARBAGE = *.aux *.log *.toc *.idx *.rai *.rao *.bbl *.ind *.ilg *.blg *.out
-OUTPUT = *.dvi *.pdf *.ps
+DEFAULT_GARBAGE = *.aux *.log *.toc *.idx *.rai *.rao *.bbl *.ind *.ilg *.blg *.out
+DEFAULT_OUTPUT = *.dvi *.pdf *.ps
+GARBAGE =
+OUTPUT =
## actions
@@ -22,10 +24,10 @@
nothing:
clean:
- @rm -f $(GARBAGE)
+ @rm -f $(DEFAULT_GARBAGE) $(GARBAGE)
mrproper:
- @rm -f $(OUTPUT) $(GARBAGE)
+ @rm -f $(DEFAULT_GARBAGE) $(DEFAULT_OUTPUT) $(GARBAGE) $(OUTPUT)
isabelle.eps:
--- a/doc-src/System/Makefile Wed Dec 06 11:47:21 2000 +0100
+++ b/doc-src/System/Makefile Wed Dec 06 12:26:26 2000 +0100
@@ -15,6 +15,8 @@
FILES = system.tex basics.tex misc.tex fonts.tex present.tex symbols.tex \
../iman.sty ../extra.sty ../ttbox.sty ../manual.bib
+OUTPUT = syms.tex
+
syms.tex: showsymbols ../../Distribution/lib/texinputs/isabellesym.sty
@./showsymbols <../../Distribution/lib/texinputs/isabellesym.sty >syms.tex