--- a/doc-src/Makefile.in	Mon Aug 27 16:48:41 2012 +0200
+++ b/doc-src/Makefile.in	Mon Aug 27 17:11:55 2012 +0200
@@ -8,7 +8,7 @@
 PDFLATEX = pdflatex
 BIBTEX = bibtex
 SEDINDEX = ../sedindex
-FIXBOOKMARKS = perl -pi ../fixbookmarks.pl
+FIXBOOKMARKS = ../fixbookmarks
 
 DEFAULT_GARBAGE = *.aux *.log *.toc *.idx *.bbl *.ind *.ilg *.blg *.out *.lof
 DEFAULT_OUTPUT = *.dvi *.pdf *.ps