1.1 --- a/doc-src/Makefile.in	Fri Jul 23 16:52:45 1999 +0200
     1.2 +++ b/doc-src/Makefile.in	Fri Jul 23 16:54:28 1999 +0200
     1.3 @@ -9,7 +9,7 @@
     1.4  LATEX = latex
     1.5  PDFLATEX = pdflatex
     1.6  BIBTEX = bibtex
     1.7 -RAIL = rail
     1.8 +RAIL = rail -a
     1.9  SEDINDEX = ../sedindex
    1.10  FIXBOOKMARKS = perl -pi ../fixbookmarks.pl
    1.11