diff options
author | Lorry <lorry@roadtrain.codethink.co.uk> | 2012-01-17 15:29:11 +0000 |
---|---|---|
committer | Lorry <lorry@roadtrain.codethink.co.uk> | 2012-01-17 15:29:11 +0000 |
commit | 4ca63c0cf0f37ab550bcca8b36f67f631cf1f8d0 (patch) | |
tree | e055aa1329452dceeafd63de121a048a08a2eb7f /makeinfo/tests/no-headers | |
download | texinfo-tarball-4ca63c0cf0f37ab550bcca8b36f67f631cf1f8d0.tar.gz |
Tarball conversion
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 |