Makefiles in doc and doc/comm are substituted in the distribution
tarballs as just the pdfs are distributed and there is therefore no
need to build from latex.

[[Imported from SVN: r743]]