eliminated external rail executable;
authorwenzelm
Mon May 02 21:42:36 2011 +0200 (2011-05-02)
changeset 42629f61ac1573ee6
parent 42628 50f257ea2aba
child 42630 a55e0663ad1d
eliminated external rail executable;
doc-src/Makefile.in
     1.1 --- a/doc-src/Makefile.in	Mon May 02 21:41:39 2011 +0200
     1.2 +++ b/doc-src/Makefile.in	Mon May 02 21:42:36 2011 +0200
     1.3 @@ -1,5 +1,3 @@
     1.4 -#
     1.5 -# $Id$
     1.6  #
     1.7  # Common part for Doc Makefiles
     1.8  #
     1.9 @@ -9,7 +7,6 @@
    1.10  LATEX = latex
    1.11  PDFLATEX = pdflatex
    1.12  BIBTEX = bibtex
    1.13 -RAIL = rail -a
    1.14  SEDINDEX = ../sedindex
    1.15  FIXBOOKMARKS = perl -pi ../fixbookmarks.pl
    1.16