tuned;
authorwenzelm
Wed, 05 May 1999 18:16:03 +0200
changeset 6596d44dd0b564c4
parent 6595 fc06a79e1f09
child 6597 56ff27255ac8
tuned;
doc-src/Makefile.in
     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