makeinfo/tests/html-docdesc


1
2
3
4
5
6
7
8
9
10
11
12

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

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