diff options
Diffstat (limited to 'tools/gen_scripts/gio_generate_docs.sh')
-rwxr-xr-x | tools/gen_scripts/gio_generate_docs.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/gen_scripts/gio_generate_docs.sh b/tools/gen_scripts/gio_generate_docs.sh index 7c815021..81fc2e8a 100755 --- a/tools/gen_scripts/gio_generate_docs.sh +++ b/tools/gen_scripts/gio_generate_docs.sh @@ -13,6 +13,7 @@ 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 |