slime/slime — pull request #67 by nbtrap (2014-01-05 15:01:31+00:00)
Title: Silence documentation build error; include contrib/ in distribution

This patchset will silence a makeinfo error and include the contrib/ directory and contents in the distribution built by mkdist.sh.