mirror of
https://github.com/Mercury-Language/mercury.git
synced 2025-12-10 19:33:11 +00:00
Delete references to the recently deleted module_system.html.
Estimated hours taken: 0.1 Branches: main compiler/notes/Mmakefile: w3/information/include/developer.inc: Delete references to the recently deleted module_system.html.
This commit is contained in:
@@ -18,6 +18,10 @@ taken when releasing a new version of Mercury.
|
||||
<li> Items for the next version (1.0) only:
|
||||
<ol>
|
||||
<li>
|
||||
Update w3/include/globals.inc as explained in the XXX comment there.
|
||||
Don't commit your changes to the main branch yet, because
|
||||
otherwise it would be installed on the WWW pages overnight.
|
||||
<li>
|
||||
Make sure that the runtime headers contain no symbols (function names,
|
||||
variable names, type names, struct/enum tags or macros) that do not
|
||||
begin with MR_.
|
||||
@@ -171,6 +175,6 @@ taken when releasing a new version of Mercury.
|
||||
<hr>
|
||||
<!-------------------------->
|
||||
|
||||
Last update was $Date: 2002-11-20 07:56:20 $ by $Author: fjh $@cs.mu.oz.au. <br>
|
||||
Last update was $Date: 2004-01-21 07:25:53 $ by $Author: fjh $@cs.mu.oz.au. <br>
|
||||
</body>
|
||||
</html>
|
||||
|
||||
Reference in New Issue
Block a user