#!/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