13 lines
271 B
Bash
Executable File
13 lines
271 B
Bash
Executable File
#!/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
|