On Tue, Aug 14, 2018 at 02:51:45PM +0200, Pablo Neira Ayuso wrote: > This adds unnecessary complexity to our build infrastructure. People can > just manually generate them in PDF in case they need too. So let's keep > it simple and remove this. > > Signed-off-by: Pablo Neira Ayuso <[email protected]> [...]
I thought they looked rather nice. They scrolled more easily than a man page and didn't use up an xterm. And you *did* have to specify at configure time that you wanted them, which I suspect most distros won't do. Please reconsider, Cheers ... Duncan.
