From 8fa958c7d509515afeed5c0f48e2ea437685e35f Mon Sep 17 00:00:00 2001
From: Rene Rivera <grafikrobot@gmail.com>
Date: Sat, 6 Apr 2002 22:53:13 +0000
Subject: [PATCH] Added check so that modules can get multiple included without
 getting multiple documentation.

[SVN r13384]
---
 new/doc.jam     | 15 ++++++++++++---
 v2/util/doc.jam | 15 ++++++++++++---
 2 files changed, 24 insertions(+), 6 deletions(-)

diff --git a/new/doc.jam b/new/doc.jam
index 3b06fed1f..106e18b71 100644
--- a/new/doc.jam
+++ b/new/doc.jam
@@ -11,7 +11,10 @@ rule document-module ( docs + )
     $(module-name).brief = [ MATCH "([^\\.]*\\.)" : $(docs:J=" ") ] ;
     $(module-name).docs = $(docs) ;
 
-    documented-modules += $(module-name) ;
+    if ! $(module-name) in $(documented-modules)
+    {
+        documented-modules += $(module-name) ;
+    }
 }
 
 rule document-rule ( name : docs + )
@@ -22,7 +25,10 @@ rule document-rule ( name : docs + )
     $(module-name).$(name).brief = [ MATCH "([^\\.]*\\.)" : $(docs:J=" ") ] ;
     $(module-name).$(name).docs = $(docs) ;
 
-    $(module-name).rules += $(name) ;
+    if ! $(name) in $($(module-name).rules)
+    {
+        $(module-name).rules += $(name) ;
+    }
 }
 
 rule document-variable ( name : docs + )
@@ -33,7 +39,10 @@ rule document-variable ( name : docs + )
     $(module-name).$(name).brief = [ MATCH "([^\\.]*\\.)" : $(docs:J=" ") ] ;
     $(module-name).$(name).docs = $(docs) ;
 
-    $(module-name).variables += $(name) ;
+    if ! $(name) in $($(module-name).variables)
+    {
+        $(module-name).variables += $(name) ;
+    }
 }
 
 # We can now document ourselves :-)
diff --git a/v2/util/doc.jam b/v2/util/doc.jam
index 3b06fed1f..106e18b71 100644
--- a/v2/util/doc.jam
+++ b/v2/util/doc.jam
@@ -11,7 +11,10 @@ rule document-module ( docs + )
     $(module-name).brief = [ MATCH "([^\\.]*\\.)" : $(docs:J=" ") ] ;
     $(module-name).docs = $(docs) ;
 
-    documented-modules += $(module-name) ;
+    if ! $(module-name) in $(documented-modules)
+    {
+        documented-modules += $(module-name) ;
+    }
 }
 
 rule document-rule ( name : docs + )
@@ -22,7 +25,10 @@ rule document-rule ( name : docs + )
     $(module-name).$(name).brief = [ MATCH "([^\\.]*\\.)" : $(docs:J=" ") ] ;
     $(module-name).$(name).docs = $(docs) ;
 
-    $(module-name).rules += $(name) ;
+    if ! $(name) in $($(module-name).rules)
+    {
+        $(module-name).rules += $(name) ;
+    }
 }
 
 rule document-variable ( name : docs + )
@@ -33,7 +39,10 @@ rule document-variable ( name : docs + )
     $(module-name).$(name).brief = [ MATCH "([^\\.]*\\.)" : $(docs:J=" ") ] ;
     $(module-name).$(name).docs = $(docs) ;
 
-    $(module-name).variables += $(name) ;
+    if ! $(name) in $($(module-name).variables)
+    {
+        $(module-name).variables += $(name) ;
+    }
 }
 
 # We can now document ourselves :-)