From 7d1dec49839792b41d0ff9a9c6afb3752cb2a9f4 Mon Sep 17 00:00:00 2001 From: Lukas Wirth Date: Thu, 16 Jan 2025 13:59:12 +0100 Subject: [PATCH] Mention the rust version the spec targets --- src/conf.py | 2 ++ src/general.rst | 2 +- version.rst | 3 +++ 3 files changed, 6 insertions(+), 1 deletion(-) create mode 100644 version.rst 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