diff --git a/doc/version.texi b/doc/version.texi new file mode 100644 index 0000000..ce89506 --- /dev/null +++ b/doc/version.texi @@ -0,0 +1,4 @@ +@set UPDATED 12 September 2025 +@set UPDATED-MONTH September 2025 +@set EDITION beta +@set VERSION beta