I've tried the @settitle command in my texinfo command, but it doesn't
appear to have any impact on the title of the generated PDF. Any ideas?If you mean the PDF metadata, texinfo.tex doesn't ever try to set that stuff. The @settitle command changes only the title shown in headings (by default). k
