trivial diff: doc/make_manpage: update URL

Fergus Henderson fjh at cs.mu.OZ.AU
Thu Dec 17 04:02:10 AEDT 1998


Estimated hours taken: 0.25

doc/make_manpage:
	Update the URL for the Mercury documentation.

Index: doc/make_manpage
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/make_manpage,v
retrieving revision 1.5
diff -u -r1.5 make_manpage
--- make_manpage	1997/09/11 04:51:30	1.5
+++ make_manpage	1998/12/15 05:34:33
@@ -95,7 +95,7 @@
 They may be copied only under the terms of the GNU General Public License \-
 see the file COPYING in the Mercury distribution.
 .SH "SEE ALSO"
-<http://www.cs.mu.oz.au/mercury/doc>
+<http://www.cs.mu.oz.au/mercury/information/documentation.html>
 .P
 The Mercury User's Guide.
 .P

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "Binaries may die
WWW: <http://www.cs.mu.oz.au/~fjh>  |   but source code lives forever"
PGP: finger fjh at 128.250.37.3        |     -- leaked Microsoft memo.



More information about the developers mailing list