| #!/bin/sh |
| # |
| # mkhtml - Make html documentation for treecc from Texinfo input. |
| # |
| # Usage: mkhtml outdir |
| |
| # Check the command-line. |
| if [ -z "$1" ]; then |
| echo "Usage: $0 outdir" |
| exit 1 |
| fi |
| |
| # Check that we are executed in the correct directory. |
| if [ ! -f treecc.texi ]; then |
| echo "Cannot find treecc.texi" |
| exit 1 |
| fi |
| |
| # Create the output directory. |
| if [ ! -d "$1" ]; then |
| mkdir "$1" |
| fi |
| |
| # Get the full pathname of the input file. |
| PATHNAME=`pwd`/treecc.texi |
| |
| # Change to the output directory and execute "texi2html". |
| cd "$1" |
| exec texi2html -split_chapter "$PATHNAME" |
