diff options
Diffstat (limited to 'makeinfo/tests/no-headers')
-rwxr-xr-x | makeinfo/tests/no-headers | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/makeinfo/tests/no-headers b/makeinfo/tests/no-headers new file mode 100755 index 0000000..6b96184 --- /dev/null +++ b/makeinfo/tests/no-headers @@ -0,0 +1,12 @@ +#!/bin/sh +# Test that info.texi works with --no-headers (this includes node +# pointer defaulting). + +# maybe need "nul" sometimes? Not clear. +: ${nulldev=/dev/null} + +unset TEXINFO_OUTPUT +: ${srcdir=.} +docdir=$srcdir/../../doc + +../makeinfo --no-headers -o $nulldev -I$docdir info.texi |