aboutgitcode
diff options
context:
space:
mode:
-rw-r--r--README.md1
-rwxr-xr-xhooks/pre-push17
2 files changed, 18 insertions, 0 deletions
diff --git a/README.md b/README.md
index 0483c8b..1fcd5c6 100644
--- a/README.md
+++ b/README.md
@@ -3,6 +3,7 @@ SPDX-License-Identifier: AGPL-3.0-or-later
Copyright (c) 2022 Red Hat GmbH
Author: Stefano Brivio <sbrivio@redhat.com>
-->
+[`man 1 mbuto`](/static/mbuto.1.html)
<link rel="stylesheet" type="text/css" href="/static/asciinema-player.css" />
<script src="/static/asciinema-player.min.js"></script>
<div id="demo_mbuto_div" style="display: grid; grid-template-columns: 1fr 1fr;">
diff --git a/hooks/pre-push b/hooks/pre-push
new file mode 100755
index 0000000..51a1a12
--- /dev/null
+++ b/hooks/pre-push
@@ -0,0 +1,17 @@
+#!/bin/sh -e
+#
+# mbuto: Minimal Builder Using Terse Options
+#
+# hooks/pre-push - Run demos, render man page to HTML, upload everything
+#
+# SPDX-License-Identifier: AGPL-3.0-or-later
+#
+# Copyright (c) 2022 Red Hat GmbH
+# Author: Stefano Brivio <sbrivio@redhat.com>
+#
+# cp hooks/pre-push .git/hooks/pre-push
+
+web/demo.sh
+groff -mandoc -T html mbuto.1 > mbuto.1.html
+
+scp *.cast *.cast.gz mbuto.1.html mbuto.sh:/var/www/mbuto/static/