changeset 49953 | d468d72a458f |
parent 43505 | 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