diff options
Diffstat (limited to 'Build/source/utils/texinfo/makeinfo/tests/no-headers')
-rwxr-xr-x | Build/source/utils/texinfo/makeinfo/tests/no-headers | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Build/source/utils/texinfo/makeinfo/tests/no-headers b/Build/source/utils/texinfo/makeinfo/tests/no-headers index e0718713f32..6b961846f38 100755 --- a/Build/source/utils/texinfo/makeinfo/tests/no-headers +++ b/Build/source/utils/texinfo/makeinfo/tests/no-headers @@ -2,8 +2,11 @@ # 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 /dev/null -I$docdir info.texi +../makeinfo --no-headers -o $nulldev -I$docdir info.texi |