diff options
author | unknown <mwagner@evoq.home.mwagner.org> | 2000-12-02 14:16:08 -0600 |
---|---|---|
committer | unknown <mwagner@evoq.home.mwagner.org> | 2000-12-02 14:16:08 -0600 |
commit | 6dda9ab20881b72b45d1a9d68add14d7f602a0aa (patch) | |
tree | 7429acc43d1774ed3cfb343b5217ddfabb16445e | |
parent | 4735a463a256bf61387f3296b82ed10b07af7779 (diff) | |
download | mariadb-git-6dda9ab20881b72b45d1a9d68add14d7f602a0aa.tar.gz |
test-make-manual BitKeeper file /home/mwagner/work/bk/mysql/Docs/Support/test-make-manual
-rwxr-xr-x | Docs/Support/test-make-manual | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/Docs/Support/test-make-manual b/Docs/Support/test-make-manual new file mode 100755 index 00000000000..52434bcea55 --- /dev/null +++ b/Docs/Support/test-make-manual @@ -0,0 +1,13 @@ +#!/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 |