[m-rev.] diff: Update compiler/notes/Mmakefile

[Paul Bone]

Update compiler/notes/Mmakefile

Update this makefile,  Update the list of documents and add a note saying
that this is now included on the website differently.

compiler/notes/Mmakefile:
    As above.
---
 compiler/notes/Mmakefile | 18 +++++++++++-------
 1 file changed, 11 insertions(+), 7 deletions(-)

diff --git a/compiler/notes/Mmakefile b/compiler/notes/Mmakefile
index 78c211c..5b1bfa0 100644
--- a/compiler/notes/Mmakefile
+++ b/compiler/notes/Mmakefile
@@ -31,14 +31,15 @@ HTML_TO_TEXT=TERM=vt100 lynx -dump
 
 #-----------------------------------------------------------------------------#
 
-DOCS_TEXT=allocation.text authors.text coding_standards.text \
-	compiler_design.text gc_and_c_code.text glossary.text \
-	release_checklist.text reviews.text todo.text \
-	work_in_progress.text
-DOCS_HTML=allocation.html authors.html coding_standards.html \
-	compiler_design.html gc_and_c_code.html glossary.html \
-	release_checklist.html reviews.html todo.html \
+DOCS_HTML=allocation.html analysis.html bootstrapping.html bytecode.html \
+	c_coding_standard.html coding_standards.html compiler_design.html \
+	developer_intro.html failure.html gc_and_c_code.html glossary.html \
+	grade_library.html index.html overall_design.html promise_ex.html \
+	release_checklist.html reviews.html todo.html trailing.html \
+	type_class_transformation.html upgrade_boehm_gc.html \
 	work_in_progress.html
+DOCS_TEXT=$(subst .html,.text,$(DOCS_HTML))
+
 DOCS_ALL=$(DOCS_TEXT) $(DOCS_HTML)
 
 #-----------------------------------------------------------------------------#
@@ -49,6 +50,9 @@ all: $(DOCS_ALL)
 # This install is for installing the Mercury webpage, which goes to
 # a different directory (supplied by the environment variable
 # INSTALL_WEBDIR).
+# Currently the webpage and this documentation on it is installed by a
+# differemt method.  A copy if the repository is checked out on the
+# webserver and linked to.
 
 .PHONY: install
 install: $(DOCS_ALL)
-- 
2.7.4