summaryrefslogtreecommitdiff
path: root/Docs/Support
diff options
context:
space:
mode:
authorunknown <sasha@mysql.sashanet.com>2000-12-09 09:30:54 -0700
committerunknown <sasha@mysql.sashanet.com>2000-12-09 09:30:54 -0700
commit701af104149fc90dc61267a0dc0f67694c8ac40b (patch)
treeb197a30e349a3233db1ebf5f83cd1e7ed051a5b9 /Docs/Support
parent2e927c7d19afc7e055144590c4245f9d82ebb39c (diff)
downloadmariadb-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-xDocs/Support/test-make-manual20
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