allow the manual to build under modern texinfo
commite9cc132191affb63f77ceb173b6ab065b8ba6db0
authorChristophe Rhodes <csr21@cantab.net>
Thu, 31 Mar 2016 12:48:55 +0000 (31 13:48 +0100)
committerChristophe Rhodes <csr21@cantab.net>
Thu, 31 Mar 2016 12:48:55 +0000 (31 13:48 +0100)
tree9a7f3160097106f0a8d4a6f6ec860df31690c8f0
parentbafa56f52cd4823087fdc48535172dd9e31ae73f
allow the manual to build under modern texinfo

based on patch from debian bug #815205 from Norbert Preining
doc/manual/docstrings.lisp
doc/manual/texinfo-macros.texinfo