From 9ec3529b60b64ceed526e6cae985686d6afbc814 Mon Sep 17 00:00:00 2001
From: Mike Gerwitz <mike@mikegerwitz.com>
Date: Sat, 21 Dec 2013 23:42:24 -0500
Subject: [PATCH] verset will no longer update version.tex; deprecated by
 previous commit

---
 doc/.gitignore   | 2 ++
 doc/version.texi | 2 --
 tools/verset     | 6 ------
 3 files changed, 2 insertions(+), 8 deletions(-)
 delete mode 100644 doc/version.texi

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