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