#!/usr/bin/env php Usage: builddoc.php inputfile1