| changeset 6596 | d44dd0b564c4 |
| parent 6593 | 62204772812f |
| child 6604 | d646567156c3 |
--- a/doc-src/Makefile.in Wed May 05 18:13:56 1999 +0200 +++ b/doc-src/Makefile.in Wed May 05 18:16:03 1999 +0200 @@ -11,7 +11,7 @@ RAIL = rail SEDINDEX = ../sedindex -GARBAGE = *.aux *.log *.toc *.idx *.rai *.bbl *.ind *.blg +GARBAGE = *.aux *.log *.toc *.idx *.rai *.rao *.bbl *.ind *.blg OUTPUT = *.dvi *.pdf *.ps