[slime-devel] Re: [PATCH} Problem with Restart node in slime.texi

Luke Gorrie luke at bluetail.com
Thu Aug 19 14:53:48 UTC 2004


Barry Fishman <barry_fishman at att.net> writes:

> Version 4.7 makeinfo fails with case problems when referencing
> "Restarts" node as "restarts" in menus.  Fix actually performed
> by Emacs texinfo mode by selecting "Texinfo/Update All Menus" from
> menubar.

Oops! Thanks, fixed.






More information about the slime-devel mailing list