1 #!/bin/sh 2 # Test that @documentdescription works. 3 4 if ../makeinfo --html --no-split ${srcdir-.}/html-docdesc.txi; then 5 grep 'explicit document description' html-docdesc.html >/dev/null 6 exit_status=$? 7 else 8 exit_status=1 9 fi 10 11 rm -f html-docdesc.html 12 exit $exit_status 13