1 files changed, 4 insertions, 0 deletions

diff --git a/version.texi b/version.texi
new file mode 100644
index 0000000..e3c6c70
--- /dev/null
+++ b/version.texi
@@ -0,0 +1,4 @@
+@set UPDATED 9 April 2019
+@set UPDATED-MONTH April 2019
+@set EDITION 2.14
+@set VERSION 2.14