doc-src/Makefile.in
changeset 48938 d468d72a458f
parent 42634 79eedd233e03
     1.1 --- a/doc-src/Makefile.in	Mon Aug 27 16:48:41 2012 +0200
     1.2 +++ b/doc-src/Makefile.in	Mon Aug 27 17:11:55 2012 +0200
     1.3 @@ -8,7 +8,7 @@
     1.4  PDFLATEX = pdflatex
     1.5  BIBTEX = bibtex
     1.6  SEDINDEX = ../sedindex
     1.7 -FIXBOOKMARKS = perl -pi ../fixbookmarks.pl
     1.8 +FIXBOOKMARKS = ../fixbookmarks
     1.9  
    1.10  DEFAULT_GARBAGE = *.aux *.log *.toc *.idx *.bbl *.ind *.ilg *.blg *.out *.lof
    1.11  DEFAULT_OUTPUT = *.dvi *.pdf *.ps