users-guide: Fix various bits of markup
authorBen Gamari <ben@smart-cactus.org>
Thu, 14 Dec 2017 21:52:59 +0000 (16:52 -0500)
committerBen Gamari <ben@smart-cactus.org>
Thu, 14 Dec 2017 22:01:41 +0000 (17:01 -0500)
commit15b2b959abbc724187b0e58979968d24ab323681
tree9376d3431ccce1e2308d72243c115fe4ccfb1b88
parentfdccc6666d838cf8708b9fc03a9ce2aa04fe9439
users-guide: Fix various bits of markup
docs/users_guide/8.4.1-notes.rst
docs/users_guide/separate_compilation.rst