inject git-describe version and date into org manual
commit306c748f6380c6c555f84f2079c4d57f9810b4d6
authorAchim Gratz <Stromeko@Stromeko.DE>
Fri, 28 Oct 2011 08:33:15 +0000 (28 10:33 +0200)
committerAchim Gratz <Stromeko@Stromeko.DE>
Fri, 20 Apr 2012 19:04:09 +0000 (20 21:04 +0200)
tree0fa6cff5b5847df745af867f2dff00ba49cdfb69
parentc74d93b8c61f6c18fc15432ba71800cc75a6bb51
inject git-describe version and date into org manual

* doc/Makefile: introduce target for git-describe.texi, which is an
  automatically generated file that records the output of git-describe
  and date; remove this file during make clean
* doc/org.texi: remove @set for VERSION and DATE and do an @include
  git-describe.texi instead
doc/Makefile
doc/org.texi