blob: 59df74e411bb3130ac62ee0e6e290a1c3d950e12 (
plain)
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
|