doc-src/Makefile.in
changeset 42634 79eedd233e03
parent 42629 f61ac1573ee6
child 48938 d468d72a458f
     1.1 --- a/doc-src/Makefile.in	Mon May 02 22:03:18 2011 +0200
     1.2 +++ b/doc-src/Makefile.in	Mon May 02 22:05:47 2011 +0200
     1.3 @@ -10,7 +10,7 @@
     1.4  SEDINDEX = ../sedindex
     1.5  FIXBOOKMARKS = perl -pi ../fixbookmarks.pl
     1.6  
     1.7 -DEFAULT_GARBAGE = *.aux *.log *.toc *.idx *.rai *.rao *.bbl *.ind *.ilg *.blg *.out *.lof
     1.8 +DEFAULT_GARBAGE = *.aux *.log *.toc *.idx *.bbl *.ind *.ilg *.blg *.out *.lof
     1.9  DEFAULT_OUTPUT = *.dvi *.pdf *.ps
    1.10  GARBAGE =
    1.11  OUTPUT =