author | wenzelm |
Fri, 23 Jul 1999 16:54:28 +0200 | |
changeset 7071 | 55b80ec1927d |
parent 7070 | 893e5a8a8d46 |
child 7072 | c3f3fd86e11c |
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