However, when I add a @pagesizes to the top of openocd.texi [...]
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.
I must admit that I know very little about Texinfo etc., but that statement came nevertheless as a big surprise. I would have thought that setting the page size and margins would be a basic feature. I managed to reduce the example indentation with the "@exampleindent X" command you mentioned, but I failed to find a way to reduce the indentation of @deffn. The indentation of @enumerate @item is less than the indentation of the @section above it, so that it looks wrong. I wonder if the OpenOCD project is doing this the wrong way. Is there perhaps a better way to generate a PDF from a Texinfo file? Or is Texinfo not really suitable for PDF documentation? Regards, rdiez
