rail -a;
authorwenzelm
Fri Jul 23 16:54:28 1999 +0200 (1999-07-23)
changeset 707155b80ec1927d
parent 7070 893e5a8a8d46
child 7072 c3f3fd86e11c
rail -a;
doc-src/Makefile.in
     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