2 # Copyright (C) 2011-2024 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 <https://www.gnu.org/licenses/>.
17 # Check that we can override the 'dvi' target run as part of distcheck,
18 # specifically to be 'html', so that TeX is not required.
19 # Related to automake bug#8289.
21 # TeX and texi2dvi should not be needed or invoked.
22 TEX
=false TEXI2DVI
=false
28 cat >> configure.ac
<< 'END'
32 cat > Makefile.am
<< 'END'
33 AM_DISTCHECK_DVI_TARGET
= html
34 info_TEXINFOS
= main.texi
37 # Protect with leading " # " to avoid spurious maintainer-check failures.
38 sed 's/^ *# *//' > main.texi
<< 'END'
40 # @setfilename main.info