diff options
Diffstat (limited to 't/txinfo33.sh')
-rwxr-xr-x | t/txinfo33.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/t/txinfo33.sh b/t/txinfo33.sh index efb2678e2..a55b5ed53 100755 --- a/t/txinfo33.sh +++ b/t/txinfo33.sh @@ -17,7 +17,7 @@ # DVIS, PDFS, PSS, HTMLS should not be cleaned upon 'mostlyclean'. # Similar to txinfo25.sh. -required='makeinfo tex texi2dvi-o dvips' +required='makeinfo tex texi2dvi dvips' . ./defs || exit 1 mkdir sub |