emacs-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: admin/make-manuals


From: Glenn Morris
Subject: Re: admin/make-manuals
Date: Thu, 25 Mar 2021 12:40:10 -0400
User-agent: Gnus (www.gnus.org), GNU Emacs (www.gnu.org/software/emacs/)

It completes for me in 90 seconds, but I use makeinfo 4.13.
I imagine that you are using a newer version of makeinfo,
and that some of the details of the output have changed, and that
manual-html-fix-* needs updating.
(It was updated year ago for Texinfo 5.)



reply via email to

[Prev in Thread] Current Thread [Next in Thread]