1.1 --- a/doc-src/Makefile.in	Wed May 05 18:48:02 1999 +0200
     1.2 +++ b/doc-src/Makefile.in	Wed May 05 18:48:32 1999 +0200
     1.3 @@ -11,7 +11,7 @@
     1.4  RAIL = rail
     1.5  SEDINDEX = ../sedindex
     1.6  
     1.7 -GARBAGE = *.aux *.log *.toc *.idx *.rai *.rao *.bbl *.ind *.blg
     1.8 +GARBAGE = *.aux *.log *.toc *.idx *.rai *.rao *.bbl *.ind *.blg *.out
     1.9  OUTPUT = *.dvi *.pdf *.ps
    1.10  
    1.11  
    1.12 @@ -22,7 +22,7 @@
    1.13  clean:
    1.14  	@rm -f $(GARBAGE)
    1.15  
    1.16 -veryclean:
    1.17 +mrproper:
    1.18  	@rm -f $(OUTPUT) $(GARBAGE)
    1.19  
    1.20  isabelle.eps: