I don't think we have what this thread talks about covered in the
If we do have though, consider this bug obsolete.
Toggle quote (5 lines)
> > Info > HTML > man > txt > PDF > PS ?
> Roughly, yes.
Not the same message, but in the thread:
Toggle quote (16 lines)
> What about installing only HTML?
> I find that HTML (and Info, and man) is more convenient to read on-line
> than PDFs. We rarely include PDF documentation in packages.
> Of course, avoiding PDF/PS/DVI allows us to remove the dependency
> on TeX Live. Last, from discussions I heard at the Reproducible
> Build Summit, I think DVIs and maybe PS/PDFs are not
> bit-reproducible out-of-the-box.
> Maybe we should have a policy on how to choose the installed
> documentation formats.