diff options
author | Richard Maw <richard.maw@codethink.co.uk> | 2012-02-15 11:59:26 +0000 |
---|---|---|
committer | Richard Maw <richard.maw@codethink.co.uk> | 2012-02-15 11:59:26 +0000 |
commit | 466552453f0338142772f9c19abf7902b8d8c1d7 (patch) | |
tree | 859f2ec8511c91320678d4c960ef9cd0fcf5f5a6 | |
parent | 9c1dc0035c89495778beb484e50e99f102ca7075 (diff) | |
download | gmp-baserock/morph.tar.gz |
doc: add version.texibaserock/morph
This is generated in .bootstrap, but we run autoreconf instead
However version.texi is included in a document, so it probably
should be available in the source tree
-rw-r--r-- | doc/version.texi | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/version.texi b/doc/version.texi new file mode 100644 index 000000000..a77dab692 --- /dev/null +++ b/doc/version.texi @@ -0,0 +1,4 @@ +@set UPDATED 19 January 2038 +@set UPDATED-MONTH January 2038 +@set EDITION 12.35 +@set VERSION 12.35 |