diff --git a/doc/.gitignore b/doc/.gitignore
index 8640841..926e2a6 100644
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -10,3 +10,5 @@
 *.vr
 *.pdf
 *.toc
+
+version.texi
diff --git a/doc/version.texi b/doc/version.texi
deleted file mode 100644
index 3252be5..0000000
--- a/doc/version.texi
+++ /dev/null
@@ -1,2 +0,0 @@
-@c DO NOT MODIFY; generated by verset (not autoconf)
-@set VERSION 0.2.0-dev
diff --git a/tools/verset b/tools/verset
index d26f268..1ea544b 100755
--- a/tools/verset
+++ b/tools/verset
@@ -39,12 +39,6 @@ cat version.js.tpl | sed "
   s/@SUFFIX@/${suffix#-}/;
 " > ../lib/version.js
 
-# output version for docs
-cat - > ../doc/version.texi <<EOF
-@c DO NOT MODIFY; generated by verset (not autoconf)
-@set VERSION $version
-EOF
-
 # update package.json for npm
 sed -i 's/"version":.*/"version":     "'$version'",/' ../package.json