| Age | Commit message (Expand) | Author |
|---|---|---|
| 2004-03-26 | delete GNU gawk 3.1.3 sources. they are available in cvs with | jdolecek |
| 2003-10-06 | Initial import of gawk-3.1.3. | wiz |
#!/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
go' rowspan='2'>
| summaryrefslogtreecommitdiff |
| Age | Commit message (Expand) | Author |
|---|---|---|
| 2004-03-26 | delete GNU gawk 3.1.3 sources. they are available in cvs with | jdolecek |
| 2003-10-06 | Initial import of gawk-3.1.3. | wiz |