1 files changed, 19 insertions, 0 deletions
diff --git a/doc/update-docs.sh b/doc/update-docs.sh
new file mode 100755
index 0000000..7765b9b
--- /dev/null
+++ b/doc/update-docs.sh
@@ -0,0 +1,19 @@
+#!/bin/sh -x
+
+DESTDIR=$(pwd)
+
+BUILDDIR="$(mktemp -d)"
+trap 'rm -rf -- $BUILDDIR' EXIT
+
+meson $BUILDDIR -Ddocs=man -Ddocs-build=true
+ninja -C $BUILDDIR
+
+rm -rf $DESTDIR/doc/man
+mkdir $DESTDIR/doc/man
+
+find $BUILDDIR/doc -maxdepth 1 -name '*.2' -exec cp {} $DESTDIR/doc/man \;
+
+# The HTML doc is not ready yet
+# rm -rf $DESTDIR/doc/html
+# cp -R $BUILDDIR/doc/html $DESTDIR/doc/
+