tuned;
authorwenzelm
Wed Dec 06 12:26:26 2000 +0100 (2000-12-06)
changeset 106049bb2e34df0cd
parent 10603 539735ddaea9
child 10605 fe12dc60bc3c
tuned;
doc-src/Makefile.in
doc-src/System/Makefile
     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