doc-src/Makefile.in
changeset 42634 79eedd233e03
parent 42629 f61ac1573ee6
child 48938 d468d72a458f
equal deleted inserted replaced
42633:f86467c5a72c 42634:79eedd233e03
     8 PDFLATEX = pdflatex
     8 PDFLATEX = pdflatex
     9 BIBTEX = bibtex
     9 BIBTEX = bibtex
    10 SEDINDEX = ../sedindex
    10 SEDINDEX = ../sedindex
    11 FIXBOOKMARKS = perl -pi ../fixbookmarks.pl
    11 FIXBOOKMARKS = perl -pi ../fixbookmarks.pl
    12 
    12 
    13 DEFAULT_GARBAGE = *.aux *.log *.toc *.idx *.rai *.rao *.bbl *.ind *.ilg *.blg *.out *.lof
    13 DEFAULT_GARBAGE = *.aux *.log *.toc *.idx *.bbl *.ind *.ilg *.blg *.out *.lof
    14 DEFAULT_OUTPUT = *.dvi *.pdf *.ps
    14 DEFAULT_OUTPUT = *.dvi *.pdf *.ps
    15 GARBAGE =
    15 GARBAGE =
    16 OUTPUT =
    16 OUTPUT =
    17 
    17 
    18 ## special targets
    18 ## special targets