manual: Minor texinfo markup improvements
commitbb7a213dfe8074a5fe3f0264dcc40b02d257aeb2
authorJan Moringen <jmoringe@techfak.uni-bielefeld.de>
Sat, 2 Jan 2016 22:50:13 +0000 (2 23:50 +0100)
committerJan Moringen <jmoringe@techfak.uni-bielefeld.de>
Sat, 2 Jan 2016 23:26:38 +0000 (3 00:26 +0100)
tree1a2a1a5f40250b616795d288e126c3dac17720be
parenta428a37909daf42b332fa8f574c8c3b328875b0f
manual: Minor texinfo markup improvements
doc/manual/beyond-ansi.texinfo
doc/manual/debugger.texinfo
doc/manual/package-locks-extended.texinfo
doc/manual/profiling.texinfo