verset will no longer update version.tex; deprecated by previous commit

2013-12-21 23:42:24 -05:00 · 2013-12-21 23:42:24 -05:00 · 9ec3529b60
parent f9bb93c54d
commit 9ec3529b60
3 changed files with 2 additions and 8 deletions
--- a/doc/.gitignore
+++ b/doc/.gitignore
@ -10,3 +10,5 @@
 *.vr
 *.pdf
 *.toc
+
+version.texi
--- a/doc/version.texi
+++ b/doc/version.texi
@ -1,2 +0,0 @@
-@c DO NOT MODIFY; generated by verset (not autoconf)
-@set VERSION 0.2.0-dev
--- 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