doc-src/Makefile.in
changeset 7071 55b80ec1927d
parent 7042 94ef4859c6da
child 8826 d7ad3ca77685
equal deleted inserted replaced
7070:893e5a8a8d46 7071:55b80ec1927d
     7 ## settings
     7 ## settings
     8 
     8 
     9 LATEX = latex
     9 LATEX = latex
    10 PDFLATEX = pdflatex
    10 PDFLATEX = pdflatex
    11 BIBTEX = bibtex
    11 BIBTEX = bibtex
    12 RAIL = rail
    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 GARBAGE = *.aux *.log *.toc *.idx *.rai *.rao *.bbl *.ind *.blg *.out
    16 GARBAGE = *.aux *.log *.toc *.idx *.rai *.rao *.bbl *.ind *.blg *.out
    17 OUTPUT = *.dvi *.pdf *.ps
    17 OUTPUT = *.dvi *.pdf *.ps