slime/slime — pull request #69 by nbtrap (2014-01-05 16:36:44+00:00)
Title: Silence makeinfo error during `make slime.info'

The error reported was:

slime.texi:536: @itemx must follow @item