blob: 81fc2e8a8a5c2e53af0b439a37c36b1664a86d7a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
#!/bin/bash
# Note that JHBUILD_SOURCES should be defined to contain the path to the root
# of the jhbuild sources. Also the script assumes that it resides in the
# tools/gen_scripts directory and the XML file will be placed in glib/src.
if [ -z "$JHBUILD_SOURCES" ]; then
echo -e "JHBUILD_SOURCES must contain the path to the jhbuild sources."
exit 1;
fi
PREFIX="$JHBUILD_SOURCES"
ROOT_DIR="$(dirname "$0")/../.."
OUT_DIR="$ROOT_DIR/gio/src"
PARAMS="--with-properties --no-recursion"
for dir in "$PREFIX"/glib/gio; do
PARAMS="$PARAMS -s $dir"
done
DOCEXTRACT_TO_XML_PY="$JHBUILD_SOURCES/glibmm/tools/defs_gen/docextract_to_xml.py"
$DOCEXTRACT_TO_XML_PY $PARAMS > "$OUT_DIR"/gio_docs.xml
|
