diff options
| -rw-r--r-- | t/txinfo-override-texinfo-tex.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/t/txinfo-override-texinfo-tex.sh b/t/txinfo-override-texinfo-tex.sh index 72bf834e2..c03dd3947 100644 --- a/t/txinfo-override-texinfo-tex.sh +++ b/t/txinfo-override-texinfo-tex.sh @@ -30,12 +30,13 @@ AC_OUTPUT END cat > Makefile.am << 'END' -TEXINFO_TEX = $(srcdir)/tex/texinfo.tex +TEXINFO_TEX = ../tex/texinfo.tex info_TEXINFOS = main.texi sure_it_exists: - test -f $(TEXINFO_TEX) + test -f $(srcdir)/$(TEXINFO_TEX) sure_it_is_not_distributed: distdir test ! -f $(distdir)/tex/texinfo.tex +check-local: sure_it_exists END cat > main.texi << 'END' @@ -61,7 +62,6 @@ test -f tex/texinfo.tex ./configure -$MAKE sure_it_exists $MAKE distcheck $MAKE sure_it_is_not_distributed |