boost/build
2
0
Fork 0
mirror of https://github.com/boostorg/build.git synced 2026-02-12 12:02:24 +00:00
Code Issues Projects Releases Wiki Activity

Revert "Add adoc generated tool docs to main manual."

Browse Source 
This reverts commit 5db50e9fd8.
This commit is contained in:
Rene Rivera
2017-10-23 22:47:55 -05:00
parent 5db50e9fd8
commit 0069e9c062
1 changed files with 0 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
doc/src/userman.xml
View File

@@ -18,12 +18,6 @@
<xi:include href="extending.xml"/>
<xi:include href="faq.xml"/>
<!-- Tools -->
<appendix id="extra-tools">
<title>Extra Tools</title>
<xi:include href="tools.docbook" parse="xml"
xpointer="xpointer(id('_documentation_tools')|id('_documentation_tools')/following-sibling::*)"/>
</appendix>
<!-- Appendicies -->
<appendix id="examples">
<title>Examples</title>