texinfo/makeinfo/tests/html-docdesc

#!/bin/sh
# Public domain.  Test that @documentdescription works.

unset TEXINFO_OUTPUT LANG LANGUAGE
LC_ALL=POSIX; export LC_ALL

if ../makeinfo --html --no-split ${srcdir-.}/html-docdesc.txi; then
  grep 'explicit document description' html-docdesc.html >/dev/null
  exit_status=$?
else
  exit_status=1
fi

rm -f html-docdesc.html
exit $exit_status