diff -r 50f257ea2aba -r f61ac1573ee6 doc-src/Makefile.in --- a/doc-src/Makefile.in Mon May 02 21:41:39 2011 +0200 +++ b/doc-src/Makefile.in Mon May 02 21:42:36 2011 +0200 @@ -1,5 +1,3 @@ -# -# $Id$ # # Common part for Doc Makefiles # @@ -9,7 +7,6 @@ LATEX = latex PDFLATEX = pdflatex BIBTEX = bibtex -RAIL = rail -a SEDINDEX = ../sedindex FIXBOOKMARKS = perl -pi ../fixbookmarks.pl