diff options
Diffstat (limited to 'update-docs.sh')
-rwxr-xr-x | update-docs.sh | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/update-docs.sh b/update-docs.sh deleted file mode 100755 index 9dbbb26..0000000 --- a/update-docs.sh +++ /dev/null @@ -1,10 +0,0 @@ -#!/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/ \; |