Express PRE-RELEASE-VERSION using MAIN-VERSION

Addressing comment by Hans.
henrikt-ma · Sep 6, 2022 · c6f4807 · c6f4807
1 parent 6033119
commit c6f4807
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/chapters/annotations.tex b/chapters/annotations.tex
@@ -1553,7 +1553,7 @@ \subsection{Version Numbering}\label{version-numbering}
 
 MAIN-VERSION = UNSIGNED-INTEGER { "." UNSIGNED-INTEGER }
 
-PRE-RELEASE-VERSION = UNSIGNED-INTEGER { "." UNSIGNED-INTEGER } " " { S-CHAR }
+PRE-RELEASE-VERSION = MAIN-VERSION " " { S-CHAR }
 
 UNORDERED-VERSION = NON-DIGIT { S-CHAR }
 \end{lstlisting}