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

[Barry Fishman]

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.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: PATCH
Type: text/x-patch
Size: 1808 bytes
Desc: Case problem in menus referencing Restarts node.
URL: <https://mailman.common-lisp.net/pipermail/slime-devel/attachments/20040819/f87036d4/attachment.bin>
-------------- next part --------------

-- 
Barry Fishman