doc-src/Makefile.in
changeset 42629 f61ac1573ee6
parent 36926 90bb12cf8e36
child 42634 79eedd233e03
equal deleted inserted replaced
42628:50f257ea2aba 42629:f61ac1573ee6
     1 #
       
     2 # $Id$
       
     3 #
     1 #
     4 # Common part for Doc Makefiles
     2 # Common part for Doc Makefiles
     5 #
     3 #
     6 
     4 
     7 ## settings
     5 ## settings
     8 
     6 
     9 LATEX = latex
     7 LATEX = latex
    10 PDFLATEX = pdflatex
     8 PDFLATEX = pdflatex
    11 BIBTEX = bibtex
     9 BIBTEX = bibtex
    12 RAIL = rail -a
       
    13 SEDINDEX = ../sedindex
    10 SEDINDEX = ../sedindex
    14 FIXBOOKMARKS = perl -pi ../fixbookmarks.pl
    11 FIXBOOKMARKS = perl -pi ../fixbookmarks.pl
    15 
    12 
    16 DEFAULT_GARBAGE = *.aux *.log *.toc *.idx *.rai *.rao *.bbl *.ind *.ilg *.blg *.out *.lof
    13 DEFAULT_GARBAGE = *.aux *.log *.toc *.idx *.rai *.rao *.bbl *.ind *.ilg *.blg *.out *.lof
    17 DEFAULT_OUTPUT = *.dvi *.pdf *.ps
    14 DEFAULT_OUTPUT = *.dvi *.pdf *.ps