On Fri, Nov 01, 2024 at 11:45:31PM +0100, R. Diez wrote: > > > [...] > > It appears that the manual uses @smallbook size which means lines have > > to be shorter. > > I am confused about the page size you mentioned. > > The generated PDF says the paper size is "US Letter, Portrait (216 × 279 > mm)", therefore 8.5 × 11 inches. > > @smallbook would be 7 by 9.25 inch. I searched the whole OpenOCD sources and > couldn't find any hit for "smallbook" at all.
Sorry for the confusion. I didn't check the page format too closely. > Now that I looked, I have noticed that the margins are rather generous, so > that too little text fits in a page. I wonder where those margins come from. > The GCC manual has similar big margins. Is that a standard in the GNU > documentation? It's the default page format for Texinfo. > I didn't find any easy way to reduce the margins. The documentation for > @pagesizes states "this command specifies the size of the text area, not the > size of the paper", so I thought I could increase the text area size while > maintaining the US letter page size, in order to reduce the margin size. > However, when I add a @pagesizes to the top of openocd.texi, the PDF viewer > (Atril) shows a different page size, and the margins are still large. It's > all rather confusing. Yeah, it just adds a 1 inch margin to whatever dimensions you specify, apparently. This command is hardly used by anybody. There is not an easy way to set the page size and margins. > > Thanks in advance, > rdiez >
