diff options
Diffstat (limited to '')
-rwxr-xr-x | update-docs.sh | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/update-docs.sh b/update-docs.sh new file mode 100755 index 0000000..9dbbb26 --- /dev/null +++ b/update-docs.sh @@ -0,0 +1,10 @@ +#!/bin/sh + +BUILDDIR="$(mktemp -d)" +trap 'rm -rf -- $BUILDDIR' EXIT + +meson $BUILDDIR -Ddocs=all -Ddocs-build=true +ninja -C $BUILDDIR +find $BUILDDIR/Documentation -maxdepth 1 \ + \( -name '*.1' -o -name '*.html' \) \ + -exec cp {} Documentation/ \; |