changeset 6604 | d646567156c3 |
parent 6596 | d44dd0b564c4 |
child 6612 | e1b7b76bc197 |
--- a/doc-src/Makefile.in Wed May 05 18:48:02 1999 +0200 +++ b/doc-src/Makefile.in Wed May 05 18:48:32 1999 +0200 @@ -11,7 +11,7 @@ RAIL = rail SEDINDEX = ../sedindex -GARBAGE = *.aux *.log *.toc *.idx *.rai *.rao *.bbl *.ind *.blg +GARBAGE = *.aux *.log *.toc *.idx *.rai *.rao *.bbl *.ind *.blg *.out OUTPUT = *.dvi *.pdf *.ps @@ -22,7 +22,7 @@ clean: @rm -f $(GARBAGE) -veryclean: +mrproper: @rm -f $(OUTPUT) $(GARBAGE) isabelle.eps: