K 10
svn:author
V 4
grog
K 8
svn:date
V 27
2002-05-19T03:57:58.000000Z
K 7
svn:log
V 377
Make the documentation build.

This does not use the standard build macros for two reasons:

1.  There's more than one document (paper and appendix).
2.  The standard build macros need revision anyway (we shouldn't need
    to set variables to get PostScript output, it should be a separate
    target).

If anybody feels offended by this breach of style, feel free to fix
it.

END