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: