[m-dev.] for review: minor fixes for Debian distribution

Fergus Henderson fjh at cs.mu.OZ.AU
Tue Jun 1 18:04:30 AEST 1999


Tyson, could you please review this one?

----------

Estimated hours taken: 1

Some minor fixes for the Debian distribution.

debian/rules:
	Delete a reference to the file msc.in, since that file is no
	longer part of the Mercury source distribution, now that we have
	dropped support for SICStus Prolog.

debian/copyright:
	Update the URL for the Mercury ftp site.
	Fix a few things that were missing (this file previously ended
	in an incomplete sentence).

Workspace: /home/mercury0/fjh/mercury-other
Index: debian/copyright
===================================================================
RCS file: /home/mercury1/repository/mercury/debian/copyright,v
retrieving revision 1.1
diff -u -r1.1 copyright
--- copyright	1999/03/22 06:45:55	1.1
+++ copyright	1999/03/22 12:20:58
@@ -7,8 +7,8 @@
 <trd at cs.mu.oz.au>.
 
 The sources for this package were obtained from the Mercury CVS archive,
-but are the same sources as
-ftp://turiel.cs.mu.oz.au/pub/mercury/mercury-0.8.1-compiler.tar.gz
+but are the same sources as mercury-<VERSION>-compiler.tar.gz from
+<ftp://ftp.mercury.cs.mu.oz.au/pub/mercury>.
 The only difference is that the tar file contains pre-compiled .c files
 to make bootstrapping easier.
 
@@ -49,8 +49,12 @@
 	that the code was modified is included with the above copyright
 	notice.
 
-The program `texi2html' in the doc directory (contained only in source package)
-is copyright by CERN and is distributed under the GNU General Public
+A few files (config.guess, config.sub) are derived from code that is
+copyright by the Free Software Foundation, Inc, and are distributed
+under the GNU General Public License version 2.
+
+The program `texi2html' in the `doc' directory is copyright by CERN
+and is distributed under the GNU General Public
 License version 2:
 
 	This program is the intellectual property of the European
@@ -59,4 +63,9 @@
 	accepted for any loss or damage of any kind resulting from any
 	defect or inaccuracy in this information or code.
 
-A few files (config.guess, config.sub) are derived from code that is
+The files in the `samples' directory are either public domain, or
+distributed under the GNU General Public License.
+
+THIS MATERIAL IS PROVIDED AS IS, WITH ABSOLUTELY NO WARRANTY
+EXPRESSED OR IMPLIED.  ANY USE IS AT YOUR OWN RISK.  See the file COPYING.
+
Index: debian/rules
===================================================================
RCS file: /home/mercury1/repository/mercury/debian/rules,v
retrieving revision 1.1
diff -u -r1.1 rules
--- rules	1999/03/22 06:45:56	1.1
+++ rules	1999/03/22 12:20:01
@@ -11,7 +11,7 @@
 
 MERCURY_DOCS = 	BUGS HISTORY LIMITATIONS NEWS README RELEASE_NOTES \
 		README.Linux WORK_IN_PROGRESS
-MERCURY_MANS =	doc/c2init.1 doc/mmc.1 doc/mgnuc.1 doc/ml.1 doc/msc.1 \
+MERCURY_MANS =	doc/c2init.1 doc/mmc.1 doc/mgnuc.1 doc/ml.1 \
 		doc/mprof.1 
 DEBIAN_DOCS =	debian/README.debian debian/copyright 
 

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the developers mailing list