2 # Copyright (C) 2003-2012 Free Software Foundation, Inc.
4 # This program is free software; you can redistribute it and/or modify
5 # it under the terms of the GNU General Public License as published by
6 # the Free Software Foundation; either version 2, or (at your option)
9 # This program is distributed in the hope that it will be useful,
10 # but WITHOUT ANY WARRANTY; without even the implied warranty of
11 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 # GNU General Public License for more details.
14 # You should have received a copy of the GNU General Public License
15 # along with this program. If not, see <http://www.gnu.org/licenses/>.
17 # Make sure the user can override TEXINFO_TEX.
18 # Also make sure TEXINFO_TEX is not distributed.
19 # Report from Tom Tromey.
21 required
='makeinfo tex texi2dvi'
24 cat > configure.ac
<< END
26 AC_CONFIG_AUX_DIR([aux1])
28 AC_CONFIG_FILES([Makefile])
32 cat > Makefile.am
<< 'END'
33 TEXINFO_TEX
= $
(srcdir
)/tex
/texinfo.tex
34 info_TEXINFOS
= main.texi
36 test -f $
(TEXINFO_TEX
)
37 sure_it_is_not_distributed
: distdir
38 test ! -f $
(distdir
)/tex
/texinfo.tex
41 cat > main.texi
<< 'END'
43 @setfilename main.info
52 cp "$am_pkgvdatadir/texinfo.tex" tex
55 $AUTOMAKE --add-missing
59 test ! -e aux
1/texinfo.tex
60 test -f tex
/texinfo.tex
66 $MAKE sure_it_is_not_distributed