2 # Copyright (C) 2003, 2004, 2007, 2008, 2010, 2011 Free Software
5 # This program is free software; you can redistribute it and/or modify
6 # it under the terms of the GNU General Public License as published by
7 # the Free Software Foundation; either version 2, or (at your option)
10 # This program is distributed in the hope that it will be useful,
11 # but WITHOUT ANY WARRANTY; without even the implied warranty of
12 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13 # GNU General Public License for more details.
15 # You should have received a copy of the GNU General Public License
16 # along with this program. If not, see <http://www.gnu.org/licenses/>.
18 # Make sure the user can override TEXINFO_TEX.
19 # Also make sure TEXINFO_TEX is not distributed.
20 # Report from Tom Tromey.
22 required
='makeinfo tex texi2dvi'
25 cat > configure.
in << END
27 AC_CONFIG_AUX_DIR([aux1])
29 AC_CONFIG_FILES([Makefile])
33 cat > Makefile.am
<< 'END'
34 TEXINFO_TEX
= $
(srcdir
)/tex
/texinfo.tex
35 info_TEXINFOS
= main.texi
37 test -f $
(TEXINFO_TEX
)
38 sure_it_is_not_distributed
: distdir
39 test ! -f $
(distdir
)/tex
/texinfo.tex
42 cat > main.texi
<< 'END'
44 @setfilename main.info
53 cp "$am_pkgvdatadir/texinfo.tex" tex
56 $AUTOMAKE --add-missing
60 test ! -f aux
1/texinfo.tex
61 test -f tex
/texinfo.tex
67 $MAKE sure_it_is_not_distributed