From 62c6aabd02aa8fd4d9f3a6cba434dbf4cfb4d2e6 Mon Sep 17 00:00:00 2001
From: Andreas Kloeckner <inform@tiker.net>
Date: Wed, 5 May 2021 17:23:51 -0500
Subject: [PATCH] Add doc upload script

---
 doc/upload-docs.sh | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100755 doc/upload-docs.sh

diff --git a/doc/upload-docs.sh b/doc/upload-docs.sh
new file mode 100755
index 0000000..176c9fb
--- /dev/null
+++ b/doc/upload-docs.sh
@@ -0,0 +1,3 @@
+#! /bin/sh
+
+rsync --verbose --archive --delete _build/html/* doc-upload:doc/arraycontext
-- 
GitLab