[slime-devel] [PATCH} Problem with Restart node in slime.texi
Barry Fishman
19 Aug
2004
19 Aug
'04
2:45 p.m.
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.