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