diff options
Diffstat (limited to 'Build/source/utils/texinfo/makeinfo/tests/no-headers')
-rwxr-xr-x | Build/source/utils/texinfo/makeinfo/tests/no-headers | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/Build/source/utils/texinfo/makeinfo/tests/no-headers b/Build/source/utils/texinfo/makeinfo/tests/no-headers new file mode 100755 index 00000000000..e0718713f32 --- /dev/null +++ b/Build/source/utils/texinfo/makeinfo/tests/no-headers @@ -0,0 +1,9 @@ +#!/bin/sh +# Test that info.texi works with --no-headers (this includes node +# pointer defaulting). + +unset TEXINFO_OUTPUT +: ${srcdir=.} +docdir=$srcdir/../../doc + +../makeinfo --no-headers -o /dev/null -I$docdir info.texi |