mirror of
https://github.com/boostorg/boost.git
synced 2025-04-05 05:25:00 +00:00
Remove boost-doc-tools from boost.xml
This commit is contained in:
parent
98c9c4eb2c
commit
803a7f8053
1 changed files with 0 additions and 1 deletions
|
@ -745,7 +745,6 @@
|
|||
or for use with their own applications.
|
||||
</para>
|
||||
</partintro>
|
||||
<xi:include href="boost-doc-tools.xml"/>
|
||||
<xi:include href="../../tools/boostbook/doc/boostbook.xml"/>
|
||||
<xi:include href="quickbook.xml"/>
|
||||
<xi:include href="jam_docs.xml"/>
|
||||
|
|
Loading…
Add table
Reference in a new issue