#25: Remove obsolete stuff that was used by the 'doc' build target.