From df6a03cbbe4eae6121ad8a7e31f86af6e822ca67 Mon Sep 17 00:00:00 2001
From: Richard Brooksby <rb@ravenbrook.com>
Date: Sun, 19 Feb 2023 12:09:18 +0000
Subject: [PATCH] Adding note to manual/build.txt to prevent manual breakage.

---
 mps/manual/build.txt | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/mps/manual/build.txt b/mps/manual/build.txt
index 5a74e070906..16b26b38242 100644
--- a/mps/manual/build.txt
+++ b/mps/manual/build.txt
@@ -1,5 +1,11 @@
 .. mode: -*- rst -*-
 
+.. NOTE: This file is a chapter of the MPS manual, and so uses some
+   Sphinx markup.  It does double-duty as plain text / GitHub rendered
+   instructions for bootstrapping the manual.  When editing, be
+   careful to ensure that the manual builds correctly.  See GitHub
+   issue #158 <https://github.com/Ravenbrook/mps/issues/158>.
+
 .. _guide-build:
 
 Building the Memory Pool System