no-headers 355 B

1234567891011121314
  1. #!/bin/sh
  2. # $Id: no-headers,v 1.5 2010-12-04 00:05:54 karl Exp $
  3. # Public domain. Test that info.texi works with --no-headers (this
  4. # includes node pointer defaulting).
  5. # maybe need "nul" sometimes? Not clear.
  6. : ${nulldev=/dev/null}
  7. unset TEXINFO_OUTPUT
  8. : ${srcdir=.}
  9. docdir=$srcdir/../../doc
  10. ../makeinfo --no-headers -o $nulldev -I$docdir info.texi