doc-src/Makefile.in
changeset 28954 0811c7419c32
parent 15646 b45393fb38c0
child 33191 fe3c65d9c577
equal deleted inserted replaced
28945:da79ac67794b 28954:0811c7419c32
    11 BIBTEX = bibtex
    11 BIBTEX = bibtex
    12 RAIL = rail -a
    12 RAIL = rail -a
    13 SEDINDEX = ../sedindex
    13 SEDINDEX = ../sedindex
    14 FIXBOOKMARKS = perl -pi ../fixbookmarks.pl
    14 FIXBOOKMARKS = perl -pi ../fixbookmarks.pl
    15 
    15 
    16 DEFAULT_GARBAGE = *.aux *.log *.toc *.idx *.rai *.rao *.bbl *.ind *.ilg *.blg *.out
    16 DEFAULT_GARBAGE = *.aux *.log *.toc *.idx *.rai *.rao *.bbl *.ind *.ilg *.blg *.out *.lof
    17 DEFAULT_OUTPUT = *.dvi *.pdf *.ps
    17 DEFAULT_OUTPUT = *.dvi *.pdf *.ps
    18 GARBAGE =
    18 GARBAGE =
    19 OUTPUT =
    19 OUTPUT =
    20 
    20 
    21 ## special targets
    21 ## special targets