Add bin/build_manpage for building docs as man page

tdgroot · tdgroot · commit 9c6cc4ec39d2 · 2023-01-19T18:59:34.000+01:00
diff --git a/bin/build_manpage b/bin/build_manpage
@@ -0,0 +1,8 @@
+#!/usr/bin/env bash
+
+set -e
+
+pushd docs
+make man
+echo "manpage located at $(realpath _build/man/docs.1)"
+popd
