--- a/doc-src/Makefile.in Fri Jul 23 16:52:45 1999 +0200
+++ b/doc-src/Makefile.in Fri Jul 23 16:54:28 1999 +0200
@@ -9,7 +9,7 @@
LATEX = latex
PDFLATEX = pdflatex
BIBTEX = bibtex
-RAIL = rail
+RAIL = rail -a
SEDINDEX = ../sedindex
FIXBOOKMARKS = perl -pi ../fixbookmarks.pl