diff --git a/src/conf.py b/src/conf.py
index febbccf1..9df2d5b5 100644
--- a/src/conf.py
+++ b/src/conf.py
@@ -19,6 +19,8 @@
 
 # -- General configuration ---------------------------------------------------
 
+rst_prolog = ".. include:: ../version.rst"
+
 # Add any Sphinx extension module names here, as strings. They can be
 # extensions coming with Sphinx (named 'sphinx.ext.*') or your custom
 # ones.
diff --git a/src/general.rst b/src/general.rst
index a99b898c..4c1f4fd8 100644
--- a/src/general.rst
+++ b/src/general.rst
@@ -47,7 +47,7 @@ Scope
 
 :dp:`fls_srdq4mota5pr`
 This document specifies the form and meaning of programs written in the
-programming language Rust, as implemented by the :t:`rustc` compiler shipped
+programming language Rust, as implemented by the :t:`rustc` |spec_version| compiler shipped
 with Ferrocene. It documents the current understanding for the purposes of
 compiler validation. As such, given any doubt, it prefers documenting behavior
 of :t:`rustc` as included in the associated Ferrocene release over claiming
diff --git a/version.rst b/version.rst
new file mode 100644
index 00000000..5b97065f
--- /dev/null
+++ b/version.rst
@@ -0,0 +1,3 @@
+.. SPDX-License-Identifier: MIT OR Apache-2.0
+   SPDX-FileCopyrightText: The Ferrocene Developers
+.. |spec_version| replace:: 1.83.0