#!/usr/local/bin/bash
export PATH=/cs/x32/www-tools/bin:$PATH
latex2html -split 2 -t "x-Kernel Programmer's Manual" \
	-index_in_navigation manual.tex