[...] 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. 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? 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. Thanks in advance, rdiez
