diff options
Diffstat (limited to 'Build/source/utils/texinfo/makeinfo/tests/no-headers')
-rwxr-xr-x | Build/source/utils/texinfo/makeinfo/tests/no-headers | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/Build/source/utils/texinfo/makeinfo/tests/no-headers b/Build/source/utils/texinfo/makeinfo/tests/no-headers deleted file mode 100755 index 6b961846f38..00000000000 --- a/Build/source/utils/texinfo/makeinfo/tests/no-headers +++ /dev/null @@ -1,12 +0,0 @@ -#!/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 |