diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md
index f7679e85..5859c7e7 100644
--- a/.github/PULL_REQUEST_TEMPLATE.md
+++ b/.github/PULL_REQUEST_TEMPLATE.md
@@ -4,7 +4,7 @@ about: Technical issues, document format problems, bugs in scripts or feature pr
 
 ---
 
-<!-- SPDX-FileCopyrightText: Copyright 2021-2022 Arm Limited and/or its affiliates <open-source-office@arm.com> -->
+<!-- SPDX-FileCopyrightText: Copyright 2021-2022, 2026 Arm Limited and/or its affiliates <open-source-office@arm.com> -->
 <!-- SPDX-License-Identifier: Apache-2.0 -->
 
 **Thank you for submitting a pull request!**
@@ -60,7 +60,5 @@ Checklist: (mark with ``X`` those which apply)
       correctness of the result in the PDF output (please refer to the
       instructions on [how to build the PDFs
       locally](https://github.com/ARM-software/acle/blob/main/CONTRIBUTING.md#continuous-integration)).
-* [ ] The variable `draftversion` is set to `true` in the YAML header
-      of the sources of the specifications I have modified.
 * [ ] Please *DO NOT* add my GitHub profile to the list of contributors
       in the [README](https://github.com/ARM-software/acle/blob/main/README.md#contributors-) page of the project.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index a784ef39..37f3e1b6 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -1,4 +1,4 @@
-# SPDX-FileCopyrightText: Copyright 2021 Arm Limited and/or its affiliates <open-source-office@arm.com>
+# SPDX-FileCopyrightText: Copyright 2021, 2026 Arm Limited and/or its affiliates <open-source-office@arm.com>
 #
 # SPDX-License-Identifier: Apache-2.0
 name: CI
@@ -12,7 +12,7 @@ jobs:
     steps:
     - uses: actions/checkout@v4.1.7
     - name: check the correctness of the sources and generate the PDFs
-      run: ./build_with_docker.sh
+      run: ./build_with_docker.sh --finalversion
     - uses: actions/upload-artifact@v4.4.0
       with:
         name: pdfs
@@ -32,13 +32,3 @@ jobs:
     - uses: gaurav-nelson/github-action-markdown-link-check@v1
       with:
           config-file: '.github/workflows/markdown-link-check.json'
-
-  draftversion-check:
-    runs-on: ubuntu-latest
-    if: github.base_ref == 'main' || github.ref == 'refs/heads/main'
-    steps:
-    - uses: actions/checkout@v4.1.7
-      with:
-        fetch-depth: 0
-    - name: Check correctness of draftversion fields
-      run:  python ./tools/acle_draftversion_value_check.py .
diff --git a/_includes/navbar.html b/_includes/navbar.html
index a4013f96..5653d8a7 100644
--- a/_includes/navbar.html
+++ b/_includes/navbar.html
@@ -1,5 +1,5 @@
 <!-- SPDX-License-Identifier: Apache-2.0 -->
-<!-- SPDX-FileCopyrightText: Copyright 2021 Arm Limited and/or its affiliates <open-source-office@arm.com> -->
+<!-- SPDX-FileCopyrightText: Copyright 2021, 2026 Arm Limited and/or its affiliates <open-source-office@arm.com> -->
 
 <nav id="header">
   <span id="left-side">
@@ -16,8 +16,20 @@
   </span>
   <img id="logo" src="{{site.baseurl}}/assets/images/Arm_logo_white_RGB.svg" alt="Logo">
   <span id="right-side">
-    {% if page.version %} Version: {{ page.version }} &nbsp;:::&nbsp; {% endif %}
-    {% if page.date-of-issue %} Release Date: {{ page.date-of-issue }} &nbsp;:::&nbsp; {% endif %}
+    {% assign hash = site.commithash | default: site.github.build_revision %}
+    {% if hash %}
+      {% assign short_hash = hash | slice: 0, 12 %}
+      {% if site.finalversion %}
+        Version: <a id="link_finalversion" href="https://github.com/ARM-software/acle/commit/{{ hash }}">{{ hash }}</a> &nbsp;:::&nbsp;
+      {% elsif site.cleanrepo %}
+        Version: <span class="dev_version">Dev version (<a id="link_devversion" href="https://github.com/ARM-software/acle/commit/{{ hash }}">{{ short_hash }}</a>)</span> &nbsp;:::&nbsp;
+      {% else %}
+        Version: <span class="dev_version">Dev version (<a id="link_devversion" href="https://github.com/ARM-software/acle/commit/{{ hash }}">{{ short_hash }}</a>), modified</span> &nbsp;:::&nbsp;
+      {% endif %}
+    {% elsif page.version %}
+      Version: {{ page.version }} &nbsp;:::&nbsp;
+    {% endif %}
+    {% if page.date-of-issue %} Issue Date: {{ page.date-of-issue }} &nbsp;:::&nbsp; {% endif %}
     <a href="https://github.com/ARM-software/acle/issues">
       <button class="navbar_button"> Report a Bug </button>
     </a>
diff --git a/_sass/main.scss b/_sass/main.scss
index a01ebb11..ad925866 100644
--- a/_sass/main.scss
+++ b/_sass/main.scss
@@ -1,5 +1,5 @@
 /*
-SPDX-FileCopyrightText: Copyright 2021 Arm Limited and/or its affiliates <open-source-office@arm.com>
+SPDX-FileCopyrightText: Copyright 2021, 2026 Arm Limited and/or its affiliates <open-source-office@arm.com>
 SPDX-License-Identifier: Apache-2.0
 The colors used for formatting have been added in accordance with corporate guidelines:
 https://www.arm.com/company/policies/trademarks/guidelines-corporate-logo
@@ -114,3 +114,17 @@ https://www.arm.com/company/policies/trademarks/guidelines-corporate-logo
 #index_logo {
   height: 160px;
 }
+
+#link_finalversion {
+  color: white;
+  text-decoration: underline;
+}
+
+.dev_version {
+  color: red;
+}
+
+#link_devversion {
+  color: red;
+  text-decoration: underline;
+}
diff --git a/build_with_docker.sh b/build_with_docker.sh
index 713b7ca2..f9fe472f 100755
--- a/build_with_docker.sh
+++ b/build_with_docker.sh
@@ -3,10 +3,43 @@
 # SPDX-FileCopyrightText: Copyright 2021-2026 Arm Limited and/or its affiliates <open-source-office@arm.com>
 # SPDX-License-Identifier: Apache-2.0
 
+finalversion=""
+cleanrepo=""
+
+while [[ $# -gt 0 ]]; do
+	case "$1" in
+		--finalversion)
+			finalversion="--finalversion"
+			;;
+		*)
+			echo "Unknown option: $1" >&2
+			exit 1
+			;;
+	esac
+	shift
+done
+
+# Check if repo is in a clean state
+if [[ -z "$(git -C "$ROOTDIR" status --porcelain)" ]]; then
+	cleanrepo="--cleanrepo"
+fi
+
+# Get last commit
+commithash="--commithash $(git rev-parse HEAD)"
+
+echo "Building pdfs with parameters:"
+if [[ -n "$finalversion" ]]; then
+	echo "  --finalversion"
+fi
+if [[ -n "$cleanrepo" ]]; then
+	echo "  --cleanrepo"
+fi
+echo "  $commithash"
+
 set -x
 IMAGE_NAME=acle_build
 # Build the image.
 docker build -t $IMAGE_NAME tools/docker
 # Run the image, mounting the current folder into the /src folder of
 # the docker image. Run as the host user so that the output files are owned by them.
-docker run --rm -u $(id -u):$(id -g) --mount type=bind,source="$(pwd)",target=/src $IMAGE_NAME
+docker run --rm -u $(id -u):$(id -g) --mount type=bind,source="$(pwd)",target=/src $IMAGE_NAME $finalversion $commithash $cleanrepo
diff --git a/cmse/cmse.md b/cmse/cmse.md
index e62bd2be..4fa97d99 100644
--- a/cmse/cmse.md
+++ b/cmse/cmse.md
@@ -1,18 +1,16 @@
 ---
 title: Arm®v8-M Security Extensions <br /> Requirements on Development Tools
-version: 1.4
 date-of-issue: 21 June 2024
 set-quote-highlight: true
 # LaTeX specific variables
-copyright-text: Copyright 2019, 2021-2024 Arm Limited and/or its affiliates <open-source-office@arm.com>.
-draftversion: true
+copyright-text: Copyright 2019, 2021-2024, 2026 Arm Limited and/or its affiliates <open-source-office@arm.com>.
 # Jekyll specific variables
 header_counter: true
 toc: true
 ---
 
 <!--
-SPDX-FileCopyrightText: Copyright 2019, 2021-2024 Arm Limited and/or its affiliates <open-source-office@arm.com>
+SPDX-FileCopyrightText: Copyright 2019, 2021-2024, 2026 Arm Limited and/or its affiliates <open-source-office@arm.com>
 CC-BY-SA-4.0 AND Apache-Patent-License
 See LICENSE.md file for details
 -->
diff --git a/main/acle.md b/main/acle.md
index 470abd48..7d52575f 100644
--- a/main/acle.md
+++ b/main/acle.md
@@ -1,10 +1,8 @@
 ---
 title: Arm C Language Extensions
-version: 2026Q1
 date-of-issue: 15 May 2026
 # LaTeX specific variables
 copyright-text: "Copyright: see section \\texorpdfstring{\\nameref{copyright}}{Copyright}."
-draftversion: true
 # Jekyll specific variables
 header_counter: true
 toc: true
diff --git a/morello/morello.md b/morello/morello.md
index 352d196d..9e9ff57a 100644
--- a/morello/morello.md
+++ b/morello/morello.md
@@ -1,10 +1,8 @@
 ---
 title: Morello Supplement to the Arm C Language Extensions
-version: 02alpha
 date-of-issue: 11 January 2022
 # LaTeX specific variables
-copyright-text: Copyright 2020-2022 Arm Limited and/or its affiliates <open-source-office@arm.com>.
-draftversion: true
+copyright-text: Copyright 2020-2022, 2026 Arm Limited and/or its affiliates <open-source-office@arm.com>.
 # Jekyll specific variables
 header_counter: true
 toc: true
diff --git a/mve_intrinsics/mve.md b/mve_intrinsics/mve.md
index f653ebf3..d3b64005 100644
--- a/mve_intrinsics/mve.md
+++ b/mve_intrinsics/mve.md
@@ -1,18 +1,16 @@
 ---
 title: Arm MVE Intrinsics
-version: 2021Q4
 date-of-issue: 11 January 2022
 # LaTeX specific variables
 landscape: true
-copyright-text: Copyright 2019-2022 Arm Limited and/or its affiliates <open-source-office@arm.com>.
-draftversion: true
+copyright-text: Copyright 2019-2022, 2026 Arm Limited and/or its affiliates <open-source-office@arm.com>.
 # Jekyll specific variables
 header_counter: true
 toc: true
 ---
 
 <!--
-SPDX-FileCopyrightText: Copyright 2019-2022 Arm Limited and/or its affiliates <open-source-office@arm.com>
+SPDX-FileCopyrightText: Copyright 2019-2022, 2026 Arm Limited and/or its affiliates <open-source-office@arm.com>
 CC-BY-SA-4.0 AND Apache-Patent-License
 See LICENSE.md file for details
 -->
diff --git a/mve_intrinsics/mve.template.md b/mve_intrinsics/mve.template.md
index 92f4575e..6a0c9378 100644
--- a/mve_intrinsics/mve.template.md
+++ b/mve_intrinsics/mve.template.md
@@ -1,18 +1,16 @@
 ---
 title: Arm MVE Intrinsics
-version: 2021Q4
 date-of-issue: 11 January 2022
 # LaTeX specific variables
 landscape: true
-copyright-text: Copyright 2019-2022 Arm Limited and/or its affiliates <open-source-office@arm.com>.
-draftversion: true
+copyright-text: Copyright 2019-2022, 2026 Arm Limited and/or its affiliates <open-source-office@arm.com>.
 # Jekyll specific variables
 header_counter: true
 toc: true
 ---
 
 <!--
-SPDX-FileCopyrightText: Copyright 2019-2022 Arm Limited and/or its affiliates <open-source-office@arm.com>
+SPDX-FileCopyrightText: Copyright 2019-2022, 2026 Arm Limited and/or its affiliates <open-source-office@arm.com>
 CC-BY-SA-4.0 AND Apache-Patent-License
 See LICENSE.md file for details
 -->
diff --git a/neon_intrinsics/advsimd.md b/neon_intrinsics/advsimd.md
index e8ceab6d..f0d95674 100644
--- a/neon_intrinsics/advsimd.md
+++ b/neon_intrinsics/advsimd.md
@@ -1,11 +1,9 @@
 ---
 title: Arm Neon Intrinsics Reference
-version: 2026Q1
 date-of-issue: 15 May 2026
 # LaTeX specific variables
 landscape: true
 copyright-text: "Copyright: see section \\texorpdfstring{\\nameref{copyright}}{Copyright}."
-draftversion: true
 # Jekyll specific variables
 header_counter: true
 toc: true
diff --git a/neon_intrinsics/advsimd.template.md b/neon_intrinsics/advsimd.template.md
index c87f2781..10f74dd9 100644
--- a/neon_intrinsics/advsimd.template.md
+++ b/neon_intrinsics/advsimd.template.md
@@ -1,11 +1,9 @@
 ---
 title: Arm Neon Intrinsics Reference
-version: 2026Q1
 date-of-issue: 15 May 2026
 # LaTeX specific variables
 landscape: true
 copyright-text: "Copyright: see section \\texorpdfstring{{\\nameref{{copyright}}}}{{Copyright}}."
-draftversion: true
 # Jekyll specific variables
 header_counter: true
 toc: true
diff --git a/tools/acle_draftversion_value_check.py b/tools/acle_draftversion_value_check.py
deleted file mode 100644
index 2f420e6d..00000000
--- a/tools/acle_draftversion_value_check.py
+++ /dev/null
@@ -1,89 +0,0 @@
-"""
-"
-" Copyright (C) 2023 Arm Ltd
-"
-"""
-
-from pathlib import Path
-import re
-import subprocess
-import sys
-
-
-def get_modified_file_list(repo_path: Path) -> list[str]:
-    """Use git to get the list of modified files in the patch set"""
-    starting_point = "origin/main"
-    cmd = ["git", "-C", str(repo_path), "diff", "--name-only", starting_point, "HEAD"]
-
-    try:
-        git_result = subprocess.run(args=cmd, capture_output=True, check=True)
-    except subprocess.CalledProcessError as ex:
-        print(
-            f"Error: in command '{' '.join(cmd)}':\n{ex.stderr.decode()}",
-            file=sys.stderr,
-        )
-        sys.exit(1)
-
-    modified_files = git_result.stdout.decode().split("\n")
-    modified_files = [x for x in modified_files if x]
-    return modified_files
-
-
-def check_file(file_path: Path) -> bool:
-    """Check if file has a draftversion field, and if so, that it's set to true"""
-    with file_path.open() as file:
-        print(f"Checking file {file_path}")
-        for line in file:
-            re_result = re.search(r"draftversion: (\w+)", line)
-            if not re_result:
-                continue
-
-            value = re_result[1]
-            if value != "true":
-                print(
-                    f"Error: file {file_path} has been modified but its draftversion"
-                    " isn't set to true!",
-                    file=sys.stderr,
-                )
-                return False
-
-    return True
-
-
-def main() -> int:
-    """Check if any modified file has the wrong value for draftversion"""
-    if len(sys.argv) != 2:
-        print(
-            "Error: this script takes a single positional argument, which is the path"
-            " to the ACLE repository!",
-            file=sys.stderr,
-        )
-        sys.exit(1)
-
-    try:
-        repo_path = Path(sys.argv[1]).resolve(strict=True)
-    except FileNotFoundError:
-        print(f"Error: repository {sys.argv[1]} doesn't exist!", file=sys.stderr)
-        sys.exit(1)
-
-    modified_files = get_modified_file_list(repo_path)
-    print("Files to check:")
-    if not modified_files:
-        print(" none")
-    else:
-        for path in modified_files:
-            print(f"  - {path}")
-    print()
-
-    success = True
-    for path in modified_files:
-        complete_path = repo_path / Path(path)
-        success = check_file(complete_path) and success
-
-    print("\nEnd result: " + ("OK" if success else "issues found"))
-
-    return not success
-
-
-if __name__ == "__main__":
-    sys.exit(main())
diff --git a/tools/acle_template.tex b/tools/acle_template.tex
index 24e3779a..d519e4af 100644
--- a/tools/acle_template.tex
+++ b/tools/acle_template.tex
@@ -1,5 +1,5 @@
 % Copyright (c) 2014--2021, John MacFarlane
-% SPDX-FileCopyrightText: Copyright 2021-2022 Arm Limited and/or its affiliates <open-source-office@arm.com>
+% SPDX-FileCopyrightText: Copyright 2021-2022, 2026 Arm Limited and/or its affiliates <open-source-office@arm.com>
 % SPDX-License-Identifier: BSD-3-Clause
 % Based on default.latex template released with Pandoc (www.pandoc.org).
 % See `data/templates` in `COPYRIGHT` at https://github.com/jgm/pandoc
@@ -38,10 +38,14 @@
 \makeatother
 
 \sectionfont{\color{armblue}}
-$if(draftversion)$
-\newcommand{\versiontext}{\textcolor{red}{Development version based on $version$}}
+$if(finalversion)$
+  \newcommand{\versiontext}{\href{https://github.com/ARM-software/acle/commit/$commithash$}{$commithash$}}
 $else$
-\newcommand{\versiontext}{$version$}
+  $if(cleanrepo)$
+    \newcommand{\versiontext}{\textcolor{red}{Development version based on \href{https://github.com/ARM-software/acle/commit/$commithash$}{$commithash$}}}
+  $else$
+    \newcommand{\versiontext}{\textcolor{red}{Development version based on \href{https://github.com/ARM-software/acle/commit/$commithash$}{$commithash$}, with modifications}}
+  $endif$
 $endif$
 \newcommand{\dateofissue}{$if(draftversion)$TBD$else$$date-of-issue$$endif$}
 
@@ -127,7 +131,7 @@
         \begin{minipage}[t]{14.0cm}
           \begin{flushleft}
             {\huge \bfseries  $title$}\\[2ex]
-            {\large Release Date: \dateofissue}\\[2ex]
+            {\large Issue Date: \dateofissue}\\[2ex]
             {\large \bfseries Version: \versiontext}\\[3ex]
           \end{flushleft}
         \end{minipage}
diff --git a/tools/build-github-pages.sh b/tools/build-github-pages.sh
index c2800283..1d7b17f5 100755
--- a/tools/build-github-pages.sh
+++ b/tools/build-github-pages.sh
@@ -8,7 +8,8 @@
 # This script uses Git and Docker to build the GitHub Pages version of the ACLE
 # project locally.
 #
-# It accepts one of two options: build or serve.
+# It accepts one mandatory option (build or serve) and one optional one
+# (--finalversion).
 #
 #  build generates the web pages, but does not launch a web server.
 #  serve generates them and also launches a web server.
@@ -19,13 +20,33 @@
 ###############################################################################
 
 
-if [ $# -ne 1 ]; then
-    echo "Please provide one option: 'build' or 'serve'."
-    exit 1
-fi
+mode=""
+finalversion="false"
 
-if [ "$1" != "build" ] && [ "$1" != "serve" ]; then
-    echo "Unsupported option. It must be either 'build' or 'serve'."
+while [[ $# -gt 0 ]]; do
+    case "$1" in
+        build|serve)
+            if [[ -n "$mode" ]]; then
+                echo "Please provide exactly one mode: 'build' or 'serve'."
+                exit 1
+            fi
+            mode="$1"
+            ;;
+        --finalversion)
+            finalversion="true"
+            ;;
+        *)
+            echo "Unknown option: $1"
+            echo "Usage: $0 [build|serve] [--finalversion]"
+            exit 1
+            ;;
+    esac
+    shift
+done
+
+if [[ -z "$mode" ]]; then
+    echo "Please provide one mode: 'build' or 'serve'."
+    echo "Usage: $0 [build|serve] [--finalversion]"
     exit 1
 fi
 
@@ -33,6 +54,30 @@ set -x
 
 ROOTDIR=$(realpath "$(dirname "$(realpath "$0")")/..")
 TEMPDIR=$(mktemp -d)
+VERSION_CONFIG_FILE="$ROOTDIR/_config.version.local.yml"
+
+commithash=$(git -C "$ROOTDIR" rev-parse HEAD)
+
+if [[ -z "$(git -C "$ROOTDIR" status --porcelain)" ]]; then
+    cleanrepo="true"
+else
+    cleanrepo="false"
+fi
+
+cat > "$VERSION_CONFIG_FILE" <<EOF
+commithash: "$commithash"
+finalversion: $finalversion
+cleanrepo: $cleanrepo
+EOF
+
+cleanup() {
+    cd "$ROOTDIR"
+    git restore _config.yml
+    rm -f "$VERSION_CONFIG_FILE"
+}
+
+trap cleanup EXIT
+
 cd $TEMPDIR
 git clone --depth 1 https://github.com/github/pages-gem.git
 cd pages-gem
@@ -50,15 +95,22 @@ echo -e "plugins:\n \
         - jekyll-relative-links\n" >> _config.yml
 cd $TEMPDIR/pages-gem
 
-if [ "$1" == "build" ]; then
+docker_run_params="--rm \
+    -u "$(id -u):$(id -g)" \
+    -v $TEMPDIR/pages-gem:/src/gh/pages-gem \
+    -v $ROOTDIR:/src/site \
+    -w /src/site \
+    --entrypoint /usr/local/bin/ruby \
+    gh-pages \
+    /usr/local/bundle/bin/jekyll"
+
+if [ "$mode" == "build" ]; then
     SITE=$ROOTDIR
-    docker run --rm -p 4000:4000 -v `realpath ${SITE}`:/src/site gh-pages jekyll build
-elif [ "$1" == "serve" ]; then
-    SITE=$ROOTDIR make server
+    docker run $docker_run_params build --config _config.yml,_config.version.local.yml
+elif [ "$mode" == "serve" ]; then
+    SITE=$ROOTDIR
+    docker run --network host $docker_run_params serve --host 127.0.0.1 --port 4000 --config _config.yml,_config.version.local.yml
 fi
 
 return_code=$?
-cd $ROOTDIR
-git restore _config.yml
-
 exit $return_code
diff --git a/tools/docker/entrypoint.sh b/tools/docker/entrypoint.sh
index d455b027..6b3ece82 100755
--- a/tools/docker/entrypoint.sh
+++ b/tools/docker/entrypoint.sh
@@ -1,8 +1,34 @@
 #!/bin/bash
 
-# SPDX-FileCopyrightText: Copyright 2021 Arm Limited and/or its affiliates <open-source-office@arm.com>
+# SPDX-FileCopyrightText: Copyright 2021, 2026 Arm Limited and/or its affiliates <open-source-office@arm.com>
 # SPDX-License-Identifier: Apache-2.0
 
+finalversion=""
+
+while [[ $# -gt 0 ]]; do
+	case "$1" in
+		--finalversion)
+			finalversion="--finalversion"
+			;;
+		--cleanrepo)
+			cleanrepo="--cleanrepo"
+			;;
+		--commithash)
+			[[ $# -ge 2 ]] || {
+				echo "Missing argument for --commithash" >&2
+				exit 1
+			}
+			commithash="--commithash $2"
+			shift
+			;;
+		*)
+			echo "Unknown option: $1" >&2
+			exit 1
+			;;
+	esac
+	shift
+done
+
 cd /src
 echo $PWD
 ls -al
@@ -11,4 +37,4 @@ ls -al
 # fails at any point, stop the docker run.
 /src/tools/hyperref-check.sh || exit 1
 /src/tools/generate-intrinsics-specs.sh || exit 1
-/src/tools/generate-pdfs.sh || exit 1
+/src/tools/generate-pdfs.sh $finalversion $commithash $cleanrepo || exit 1
diff --git a/tools/generate-pdfs.sh b/tools/generate-pdfs.sh
index 104cacc3..8c9acc98 100755
--- a/tools/generate-pdfs.sh
+++ b/tools/generate-pdfs.sh
@@ -1,7 +1,7 @@
 #!/usr/bin/env bash
 set -ex
 
-# SPDX-FileCopyrightText: Copyright 2021-2022 Arm Limited and/or its affiliates <open-source-office@arm.com>
+# SPDX-FileCopyrightText: Copyright 2021-2022, 2026 Arm Limited and/or its affiliates <open-source-office@arm.com>
 # SPDX-License-Identifier: Apache-2.0
 #
 # Licensed under the Apache License, Version 2.0 (the "License");
@@ -16,6 +16,32 @@ set -ex
 # See the License for the specific language governing permissions and
 # limitations under the License.
 
+finalversion=""
+
+while [[ $# -gt 0 ]]; do
+	case "$1" in
+		--finalversion)
+			finalversion="-V finalversion"
+			;;
+		--cleanrepo)
+			cleanrepo="-V cleanrepo"
+			;;
+		--commithash)
+			[[ $# -ge 2 ]] || {
+				echo "Missing argument for --commithash" >&2
+				exit 1
+			}
+			commithash="-V commithash=$2"
+      shift
+			;;
+		*)
+			echo "Unknown option: $1" >&2
+			exit 1
+			;;
+	esac
+	shift
+done
+
 function generate_pdfs_from_md() {
 	inputMdFile=$1
 	if ! [ -f "$inputMdFile" ]; then
@@ -36,7 +62,7 @@ function generate_pdfs_from_md() {
 	# in the specific case of the cmse.md file.
 	sed -u ':a;N;$!ba;s/\*\sTOC\n{*{:toc}}*//' $inputMdFile | \
 	sed -u "s/<!--latex_geometry_conf-->/$geometryForIntrinsics/" | \
-	pandoc --template=tools/acle_template.tex -o $outputPdfFile --resource-path=$(dirname $inputMdFile)
+	pandoc --template=tools/acle_template.tex -o $outputPdfFile --resource-path=$(dirname $inputMdFile) $finalversion $commithash $cleanrepo
 }
 
 mkdir -p pdfs tmp