#!/bin/sh
#
# mkdoc - Make all forms of documentation for treecc from Texinfo input.
#
# Usage: mkdir 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

# Create the online HTML documentation.
./mkhtml "$1"

# Create the PDF documentation.
./mkpdf
cp treecc.pdf "$1"

# Pack up the HTML documentation into a tar.gz file.
cd "$1"
tar cfz treecc-doc.tar.gz *.html
exit 0