##// END OF EJS Templates
Merge pull request #976 from minrk/whatsnew...
Merge pull request #976 from minrk/whatsnew Getting started on What's New for 0.12, and adding github sphinx extension, for easy links to GitHub issues, pull requests, etc.

File last commit:

r1261:a818e11a merge
r5282:da777005 merge
Show More
update_version.sh
3 lines | 84 B | application/x-sh | BashLexer
#!/bin/sh
ver=`ipython -V`
sed "s/__version__/${ver}/" manual_base.lyx > manual.lyx