From dd3aa56ef46e792254d6c0bba1cb67750562ad99 Mon Sep 17 00:00:00 2001
From: Martin Mares <mj@ucw.cz>
Date: Mon, 24 Sep 2012 18:27:54 +0200
Subject: [PATCH] Maint: Uploading of documentation

---
 maint/release    | 4 ++--
 maint/upload-doc | 4 ++++
 2 files changed, 6 insertions(+), 2 deletions(-)
 create mode 100755 maint/upload-doc

diff --git a/maint/release b/maint/release
index 4d189b1..450e694 100755
--- a/maint/release
+++ b/maint/release
@@ -23,6 +23,6 @@ $r->GenFile("README");
 $r->Dispatch;
 
 if ($r->{"do_upload"}) {
-	print "Updating documentation at Jabberwock\n";
-	`rsync -av --delete doc/. jabberwock.ucw.cz:/var/www/moe/`; die if $?;
+	system "doc/upload";
+	die if $?;
 }
diff --git a/maint/upload-doc b/maint/upload-doc
new file mode 100755
index 0000000..488ede4
--- /dev/null
+++ b/maint/upload-doc
@@ -0,0 +1,4 @@
+#!/bin/sh
+echo "Updating documentation at Jabberwock"
+make docs
+rsync -av --delete doc/. obj/isolate/isolate.1.html obj/isolate/docbook-xsl.css jabberwock.ucw.cz:/var/www/moe/
-- 
2.39.2