Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/boostorg/boost.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorDaniel James <daniel@calamity.org.uk>2017-10-28 19:47:21 +0300
committerDaniel James <daniel@calamity.org.uk>2017-11-04 03:46:18 +0300
commit631aff6cdb707afec75da9caa613818943e06269 (patch)
tree87ed503c03d6085fb874e2a9f8f2ab9c56e59d40 /doc
parentd80192fea1106e3b550cc45925615ca8f0f7f26c (diff)
Use generate.consitent.ids
Diffstat (limited to 'doc')
-rw-r--r--doc/Jamfile.v21
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/Jamfile.v2 b/doc/Jamfile.v2
index 49809b2c54..cf3a8b5be1 100644
--- a/doc/Jamfile.v2
+++ b/doc/Jamfile.v2
@@ -189,6 +189,7 @@ boostbook doc
:
src/boost.xml
:
+ <xsl:param>generate.consistent.ids=1
<use>$(lib-doc-boostdoc-refs)
<dependency>libraries
<implicit-dependency>libraries