diff options
| author | unknown <sasha@mysql.sashanet.com> | 2000-12-02 14:02:06 -0700 |
|---|---|---|
| committer | unknown <sasha@mysql.sashanet.com> | 2000-12-02 14:02:06 -0700 |
| commit | 8c2992ab021d5c6b110bdffb65a256b710308340 (patch) | |
| tree | ffb4119d57eaa7ba2eb14abc76b898c91079bac5 /Docs | |
| parent | 4bad4939d3432c4c0fc3bdc97488dd2a45534ff8 (diff) | |
| parent | 6dda9ab20881b72b45d1a9d68add14d7f602a0aa (diff) | |
| download | mariadb-git-8c2992ab021d5c6b110bdffb65a256b710308340.tar.gz | |
Merge work.mysql.com:/home/bk/mysql
into mysql.sashanet.com:/home/sasha/src/bk/mysql
Diffstat (limited to 'Docs')
| -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 |