diff options
Diffstat (limited to 'doc/tools/update-from-spec')
-rwxr-xr-x | doc/tools/update-from-spec | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/doc/tools/update-from-spec b/doc/tools/update-from-spec deleted file mode 100755 index b20e875..0000000 --- a/doc/tools/update-from-spec +++ /dev/null @@ -1,25 +0,0 @@ -#!/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 |