Fix index entries in "separate compilation" section
authorChris Martin <ch.martin@gmail.com>
Tue, 15 Aug 2017 01:15:22 +0000 (21:15 -0400)
committerBen Gamari <ben@smart-cactus.org>
Thu, 17 Aug 2017 20:42:55 +0000 (16:42 -0400)
commit0e1b6f85c69834e907ebcb9fcb5c94e6a2fb3287
treefea1ca1b10649d5849aaa38edf995e21c1e59e57
parent2c0ab47f7cab42c2123410f07b909f8a06b6920a
Fix index entries in "separate compilation" section

This appears to have been a mistake from the translation of the manual into RST
format by 4fd6207ec6.
docs/users_guide/separate_compilation.rst