From: Svjatoslav Agejenko <svjatoslav@svjatoslav.eu>
Date: Fri, 1 May 2020 21:10:17 +0000 (+0300)
Subject: Merge branch 'master' of ssh://svjatoslav.eu:10006/home/n0/git/fifth
X-Git-Url: http://www2.svjatoslav.eu/gitweb/?p=fifth.git;a=commitdiff_plain;h=92bdcd72ccafd7ca2ea44a704ab06356d28fb2dd;hp=88e8cc5df07b69e5620a972f89038ce61448a902

Merge branch 'master' of ssh://svjatoslav.eu:10006/home/n0/git/fifth
---

diff --git a/doc/index.org b/doc/index.org
index a0f8319..fca8640 100644
--- a/doc/index.org
+++ b/doc/index.org
@@ -10,7 +10,6 @@
 #+HTML_HEAD:   pre {background-color: #111; color: #ccc;}
 #+HTML_HEAD: </style>
 * General
-
 - This program is free software: released under Creative Commons Zero
   (CC0) license
 
diff --git a/tools/update web site b/tools/update web site
index c2cd502..20a52bc 100755
--- a/tools/update web site	
+++ b/tools/update web site	
@@ -1,7 +1,11 @@
 #!/bin/bash
-
-cd "${0%/*}"
+cd "${0%/*}"; if [ "$1" != "T" ]; then gnome-terminal -e "'$0' T"; exit; fi;
 
 cd ..
 
 rsync -avz --delete  -e 'ssh -p 10006' doc/ n0@www3.svjatoslav.eu:/mnt/big/projects/fifth/
+
+
+echo ""
+echo "Press ENTER to close this window."
+read