diff --git a/changelog b/changelog
index 98b1701bbb864943b29ef8f7fb95561a18797d55..3e8029ed86d88a6fe661a8389b165bd7757928c9 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,7 @@
+2014-05-08  Richard Hartmann <richih.mailinglist@gmail.com>
+
+	* Revert "Introduce static manpage as part of normal repo"
+
 2014-05-07  Richard Hartmann <richih.mailinglist@gmail.com>
 
 	* Increase portability
diff --git a/vcsh b/vcsh
index f1c101745a70e1cbcc62604453b2b6faa6a27e86..b675edd1d4e81d4fc7459bd27d500ad716ab2aa7 100755
--- a/vcsh
+++ b/vcsh
@@ -19,7 +19,7 @@
 # If '.git-HEAD' is appended to the version, you are seeing an unreleased
 # version of vcsh; the master branch is supposed to be clean at all times
 # so you can most likely just use it nonetheless
-VERSION='1.20140507'
+VERSION='1.20140508'
 SELF=$(basename $0)
 
 fatal() {