From 408acaef5d944e46dab9dfb750139fc497ae44c8 Mon Sep 17 00:00:00 2001
From: Stefano Brivio <sbrivio@redhat.com>
Date: Thu, 28 Apr 2022 17:56:41 +0200
Subject: mbuto: Add pre-push hook: build demos, render man page, and upload

Signed-off-by: Stefano Brivio <sbrivio@redhat.com>
---
 README.md      |  1 +
 hooks/pre-push | 17 +++++++++++++++++
 2 files changed, 18 insertions(+)
 create mode 100755 hooks/pre-push

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/
-- 
cgit v1.2.3