Merge work.mysql.com:/home/bk/mysql

into mysql.sashanet.com:/home/sasha/src/bk/mysql

Merge work.mysql.com:/home/bk/mysql
into mysql.sashanet.com:/home/sasha/src/bk/mysql
7655ddde · unknown · 0dbabbcd · ad44ba12 · 7655ddde
Commit 7655ddde authored Dec 02, 2000 by unknown
Hide whitespace changes
Inline Side-by-side

Showing with 13 additions and 0 deletions

Docs/Support/test-make-manual Docs/Support/test-make-manual +13 -0

No files found.
--- a/Docs/Support/test-make-manual
+++ b/Docs/Support/test-make-manual
+#!/bin/sh
+
+echo
+echo "|---- Running makeinfo ----|"
+makeinfo --no-split -I . manual.texi
+
+echo
+echo "|---- Running texi2html ----|"
+/usr/bin/perl ./Support/texi2html -iso -number manual.texi
+
+echo
+echo "Please examine your modifications in \`manual.html'."
+echo