Merge tag 'upstream/2.3.1'

Upstream version 2.3.1

1 files changed, 19 insertions, 0 deletions

diff --git a/bin/docs-create-example-outputs.py b/bin/docs-create-example-outputs.py
new file mode 100644
index 0000000..30dc0ee
--- /dev/null
+++ b/bin/docs-create-example-outputs.py
@@ -0,0 +1,19 @@
+#!/usr/bin/env python
+#
+# Searches through the whole doc/user tree and creates
+# all output files for the single examples.
+#
+
+import os
+import sys
+import SConsExamples
+
+if __name__ == "__main__":
+    print "Checking whether all example names are unique..."
+    if SConsExamples.exampleNamesAreUnique(os.path.join('doc','user')):
+        print "OK"
+    else:
+        print "Not all example names and suffixes are unique! Please correct the errors listed above and try again."
+        sys.exit(0)
+    
+    SConsExamples.createAllExampleOutputs(os.path.join('doc','user'))