doc-src/Makefile.in
changeset 6596 d44dd0b564c4
parent 6593 62204772812f
child 6604 d646567156c3
     1.1 --- a/doc-src/Makefile.in	Wed May 05 18:13:56 1999 +0200
     1.2 +++ b/doc-src/Makefile.in	Wed May 05 18:16:03 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 *.bbl *.ind *.blg
     1.8 +GARBAGE = *.aux *.log *.toc *.idx *.rai *.rao *.bbl *.ind *.blg
     1.9  OUTPUT = *.dvi *.pdf *.ps
    1.10  
    1.11