aboutgitcode
path: root/hooks/pre-push
diff options
context:
space:
mode:
Diffstat (limited to 'hooks/pre-push')
-rwxr-xr-xhooks/pre-push17
1 files changed, 17 insertions, 0 deletions
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/