On Sat 30 Nov 2024 at 22:10:32 (+0700), Max Nikulin wrote: > On 30/11/2024 01:29, David Wright wrote: > > On Thu 28 Nov 2024 at 21:52:05 (+0700), Max Nikulin wrote: > > > On 28/11/2024 11:13, David Wright wrote: > > > > $ man -t bash | ps2pdf - /tmp/bash.pdf > > > > > > /usr/share/doc/bash-doc/bash.pdf > > > /usr/share/doc/bash-doc/bashref.pdf > > > > ยน With Letter size in xpdf, I press 3 for 200%, which > > gives me exactly two PageDowns per page. Annoyingly, > > A4 needs an extra PageDown to move to the next page. > > You may bind another key to zoom adjusted for A4.
By "appropriate page size", I was thinking more about people who might wish to print the document, rather than this trivial annoyance for me. I don't come across that many A4 text documents over here. > Actually I would > prefer bashref.pdf that has hyperlinks and table of contents > (bookmark), moreover I would prefer .info file to read it in tkinfo or > emacs. PDF file generated through PostScript from man does not allow > to use named anchors for adding links to notes. Page numbers may > change in next release of if the file is rendered for another paper > size. That's a different type of document entirely. My comment was aimed at /man pages in general/. As I said, man bash was just the example that came up. Some other commands have further explanatory documents in a variety of formats, but that doesn't reduce the usefulness of $ man -t foo | ps2pdf - /tmp/foo.pdf does it? Funnily enough, I'd never even thought about page numbering in connection with man pages. But I notice now that the page contents of my Letter PDF and Debian's A4 version are identical, and the footers on the A4 are very high, so I'm guessing that the document was originally set for Letter paper, with well-balanced margins, and the A4 version just had more white space added at the bottom. Cheers, David.
