Building this document happens in two completely separate steps.
The makefile does not define a dependency between them.

1. Compiling examples, gathering output

   Object files, executables and other binaries are stored in
   directory 'tmp'. Directory 'out' holds pure text.
   Directory 'pre' is directory 'src' pre-processed with 'config.sed'.

   Described in 'README-src'. For the impatient:

   ./configure.pl && make

   This requires environment variable HOSTNAME to distinguish concurrent
   builds on a network share. Debian 2.2r6 only defines HOST.
   The fix is simple:

   export HOSTNAME=`hostname`

   or

   setenv HOSTNAME `hostname`

2. Rendering XML

   Described in 'README-xml'.
   For the impatient:

   make html
