On 10/10/2014 7:13 PM, Norbert Preining wrote:
I will inquire with texinfo people why makeinfo --pdf and texi2pdf behave differently.
I just sent a bug report about this: http://lists.gnu.org/archive/html/bug-texinfo/2014-10/msg00015.html Ken _______________________________________________ auctex mailing list auctex@gnu.org https://lists.gnu.org/mailman/listinfo/auctex
