[m-dev.] diff: link in bootstrapping.html

[Peter Ross]

Hi,


===================================================================


Estimated hours taken: 0.25

w3/information/include/developer.inc:
    Add a link to the bootstrapping information file.

Index: include/developer.inc
===================================================================
RCS file: /home/staff/zs/imp/w3/information/include/developer.inc,v
retrieving revision 1.2
diff -u -r1.2 developer.inc
--- developer.inc	1998/09/04 05:02:02	1.2
+++ developer.inc	1999/11/12 03:53:23
@@ -88,6 +88,13 @@
 	<a href="doc/todo.text">Plain text</a>
 	<p>
 
+<li>	<strong>Bootstrapping</strong> <br>
+	What to do when a change requires bootstrapping. <p>
+
+	Available in
+	<a href="doc/bootstrapping.html">HTML</a>
+	<p>
+
 <!---------
 %% Take this out of comments when the bytecode docs have settled down a bit.
 <li>	<strong>Bytecode</strong> <br>

----
 +----------------------------------------------------------------------+
 | Peter Ross      M Sci/Eng Melbourne Uni                              |
 | petdr at cs.mu.oz.au  WWW: www.cs.mu.oz.au/~petdr/ ph: +61 3 9344 9158  |
 +----------------------------------------------------------------------+
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------