diff options
author | unknown <sasha@mysql.sashanet.com> | 2000-12-09 09:30:54 -0700 |
---|---|---|
committer | unknown <sasha@mysql.sashanet.com> | 2000-12-09 09:30:54 -0700 |
commit | 701af104149fc90dc61267a0dc0f67694c8ac40b (patch) | |
tree | b197a30e349a3233db1ebf5f83cd1e7ed051a5b9 /Docs/Support | |
parent | 2e927c7d19afc7e055144590c4245f9d82ebb39c (diff) | |
download | mariadb-git-701af104149fc90dc61267a0dc0f67694c8ac40b.tar.gz |
Docs/manual.texi
updates for the test suite
Docs/Support/test-make-manual
abort with a message if a utility fails
open the manual in a browser on success
Docs/manual.texi:
updates for the test suite
Docs/Support/test-make-manual:
abort with a message if a utility fails
open the manual in a browser on success
Diffstat (limited to 'Docs/Support')
-rwxr-xr-x | Docs/Support/test-make-manual | 20 |
1 files changed, 19 insertions, 1 deletions
diff --git a/Docs/Support/test-make-manual b/Docs/Support/test-make-manual index 52434bcea55..cc304b7a58a 100755 --- a/Docs/Support/test-make-manual +++ b/Docs/Support/test-make-manual @@ -1,13 +1,31 @@ #!/bin/sh +function die +{ + echo $1 + exit 1 +} + echo echo "|---- Running makeinfo ----|" makeinfo --no-split -I . manual.texi +[ $? != 0 ] && die "Manual has errors - fix before you commit" + echo echo "|---- Running texi2html ----|" /usr/bin/perl ./Support/texi2html -iso -number manual.texi +[ $? != 0 ] && die "Manual has errors - fix before you commit" + +[ -z $BROWSER ] && BROWSER=netscape + echo echo "Please examine your modifications in \`manual.html'." -echo +echo "For your convenience, I will show you the manual in $BROWSER" +echo "If you would like to use a different browser, set BROWSER enviroment\ + variable" +echo "If this is a GUI browser, to get your shell prompt back, close the + window" + +$BROWSER file://`pwd`/manual_toc.html |