3 # Make sure dvi target recurses into subdir.
4 # Reported by Pavel Roskin
6 . $srcdir/defs || exit 1
10 cat > Makefile.am << 'END'
15 cat > sub/Makefile.am << 'END'
16 info_TEXINFOS = maude.texi
19 echo '@setfilename maude.info' > sub/maude.texi
25 grep dvi-recursive Makefile.in
26 grep '[^-]info-recursive' Makefile.in
27 grep '[^n]install-info-recursive' Makefile.in
28 grep uninstall-info-recursive Makefile.in