Since noone has answered my question I've done what seemed the right thing: The next dpkg upload will be accompanied by the manuals in gzipped PostScript (formatted for A4) and HTML in gzipped tarfiles, as separate files in the upload. Ian.