From 6b5906ff73ce08d4a527811558b76f61aa86a087 Mon Sep 17 00:00:00 2001 From: Peter Oliver Date: Wed, 21 Aug 2024 11:11:18 +0100 Subject: [PATCH] Fix link in readme to build docs. --- mps/readme.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mps/readme.txt b/mps/readme.txt index 9f35eeac129..64b61bb0ebf 100644 --- a/mps/readme.txt +++ b/mps/readme.txt @@ -89,7 +89,7 @@ The MPS is currently supported for deployment on: The MPS is highly portable and has run on many other processors and operating systems in the past (see `Building the MPS -`__). Most of the MPS is written in very pure +`__). Most of the MPS is written in very pure ANSI C and compiles without warnings on anything. .. warning::