From: Martin Mares <mj@ucw.cz>
Date: Mon, 24 Sep 2012 16:27:54 +0000 (+0200)
Subject: Maint: Uploading of documentation
X-Git-Url: http://mj.ucw.cz/gitweb/?a=commitdiff_plain;h=dd3aa56ef46e792254d6c0bba1cb67750562ad99;p=eval.git

Maint: Uploading of documentation
---

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/