wanderlust/wanderlust — pull request #71 by egh (2014-10-14 05:02:55+00:00)
Title: Two small fixes to wl.texi to make it compile with makeinfo

These fixes are necessary for `makeinfo` to properly work with `wl.texi`.