diff options
Diffstat (limited to '')
-rwxr-xr-x | Documentation/update-docs.sh | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/Documentation/update-docs.sh b/Documentation/update-docs.sh new file mode 100755 index 0000000..87a73cc --- /dev/null +++ b/Documentation/update-docs.sh @@ -0,0 +1,11 @@ +#!/bin/sh +# SPDX-License-Identifier: GPL-2.0-or-later + +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/ \; |