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
c7581d29 · sasha@mysql.sashanet.com · 2d354fc6 · 12e6eb4a · c7581d29
Commit c7581d29 authored Dec 02, 2000 by sasha@mysql.sashanet.com
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