> I get the same errors reported by Tassilo, and the rule > make dist TAG=11.87
Ok, found it in the archives, didn't make it to the mailing list, strange. Anyway, why makeinfo --pdf and texi2pdf work differently, is a mystery to me... The man page of makeinfo tells me: --dvi, --dvipdf, --ps, --pdf call texi2dvi to generate given output. Hmmmmm... Anyway, one can leave the texi2dvi and texi2pdf as is, and just use makeinfo for html. I will inquire with texinfo people why makeinfo --pdf and texi2pdf behave differently. Norbert ------------------------------------------------------------------------ PREINING, Norbert http://www.preining.info JAIST, Japan TeX Live & Debian Developer GPG: 0x860CDC13 fp: F7D8 A928 26E3 16A1 9FA0 ACF0 6CAC A448 860C DC13 ------------------------------------------------------------------------ _______________________________________________ auctex mailing list auctex@gnu.org https://lists.gnu.org/mailman/listinfo/auctex