1.1 --- a/doc-src/Makefile.in Wed Dec 06 11:47:21 2000 +0100
1.2 +++ b/doc-src/Makefile.in Wed Dec 06 12:26:26 2000 +0100
1.3 @@ -13,8 +13,10 @@
1.4 SEDINDEX = ../sedindex
1.5 FIXBOOKMARKS = perl -pi ../fixbookmarks.pl
1.6
1.7 -GARBAGE = *.aux *.log *.toc *.idx *.rai *.rao *.bbl *.ind *.ilg *.blg *.out
1.8 -OUTPUT = *.dvi *.pdf *.ps
1.9 +DEFAULT_GARBAGE = *.aux *.log *.toc *.idx *.rai *.rao *.bbl *.ind *.ilg *.blg *.out
1.10 +DEFAULT_OUTPUT = *.dvi *.pdf *.ps
1.11 +GARBAGE =
1.12 +OUTPUT =
1.13
1.14
1.15 ## actions
1.16 @@ -22,10 +24,10 @@
1.17 nothing:
1.18
1.19 clean:
1.20 - @rm -f $(GARBAGE)
1.21 + @rm -f $(DEFAULT_GARBAGE) $(GARBAGE)
1.22
1.23 mrproper:
1.24 - @rm -f $(OUTPUT) $(GARBAGE)
1.25 + @rm -f $(DEFAULT_GARBAGE) $(DEFAULT_OUTPUT) $(GARBAGE) $(OUTPUT)
1.26
1.27
1.28 isabelle.eps:
2.1 --- a/doc-src/System/Makefile Wed Dec 06 11:47:21 2000 +0100
2.2 +++ b/doc-src/System/Makefile Wed Dec 06 12:26:26 2000 +0100
2.3 @@ -15,6 +15,8 @@
2.4 FILES = system.tex basics.tex misc.tex fonts.tex present.tex symbols.tex \
2.5 ../iman.sty ../extra.sty ../ttbox.sty ../manual.bib
2.6
2.7 +OUTPUT = syms.tex
2.8 +
2.9 syms.tex: showsymbols ../../Distribution/lib/texinputs/isabellesym.sty
2.10 @./showsymbols <../../Distribution/lib/texinputs/isabellesym.sty >syms.tex
2.11