diff -r 893e5a8a8d46 -r 55b80ec1927d doc-src/Makefile.in
--- 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