1 files changed, 25 insertions, 0 deletions
diff --git a/doc/tools/update-from-spec b/doc/tools/update-from-spec
new file mode 100755
index 0000000..b20e875
--- /dev/null
+++ b/doc/tools/update-from-spec
@@ -0,0 +1,25 @@
+#!/bin/sh
+
+DIST_BIN=`dirname "$0"`
+
+cd ${DIST_BIN}
+cd ../xml
+../tools/spec-to-docbook ../spec/*.xml
+if [ $? -ne 0 ]; then
+    exit 1
+fi
+
+cd ../../src
+../doc/tools/spec-strip-docs ../doc/spec/*.xml
+if [ $? -ne 0 ]; then
+    exit 1
+fi
+
+for name in session seat manager; do
+    mv ck-${name}-no-docs.xml ck-${name}.xml
+    if [ $? -ne 0 ]; then
+        exit 1
+    fi
+done
+
+exit 0