blob: b20e87548769f663cf85962ba79776ef91e2d8db (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
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
|