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

Barry Fishman <barry_fishman@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.