diff options
Diffstat (limited to 't/txinfo-subdir-pr343.sh')
| -rw-r--r-- | t/txinfo-subdir-pr343.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/t/txinfo-subdir-pr343.sh b/t/txinfo-subdir-pr343.sh index 625a4faa7..085d53e2b 100644 --- a/t/txinfo-subdir-pr343.sh +++ b/t/txinfo-subdir-pr343.sh @@ -57,4 +57,9 @@ $MAKE distcheck test -f ../subdir/main.info test ! -e subdir/main.info +# Make sure automatic -I flags were added for the subdir. +grep '\$(MAKEINFO).* -I subdir ' ../Makefile.in +grep '\$(TEXI2DVI).* -I subdir ' ../Makefile.in +grep '\$(TEXI2PDF).* -I subdir ' ../Makefile.in + : |