[slime-devel] [PATCH} Problem with Restart node in slime.texi
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. -- Barry Fishman
19 Aug
19 Aug
2:53 p.m.
New subject: [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.
7548
Age (days ago)
7548
Last active (days ago)
1 comments
2 participants
participants (2)
-
Barry Fishman -
Luke Gorrie