2 # Copyright (C) 2003, 2004, 2007, 2008, 2011 Free Software Foundation,
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'
27 cat > configure.
in << END
29 AC_CONFIG_AUX_DIR([aux1])
31 AC_CONFIG_FILES([Makefile])
35 cat > Makefile.am
<< 'END'
36 TEXINFO_TEX
= $
(srcdir
)/tex
/texinfo.tex
37 info_TEXINFOS
= main.texi
39 test -f $
(TEXINFO_TEX
)
40 sure_it_is_not_distributed
: distdir
41 test ! -f $
(distdir
)/tex
/texinfo.tex
44 cat > main.texi
<< 'END'
46 @setfilename main.info
55 cp "$testsrcdir/../lib/texinfo.tex" tex
58 $AUTOMAKE --add-missing
62 test ! -f aux
1/texinfo.tex
63 test -f tex
/texinfo.tex
69 $MAKE sure_it_is_not_distributed