[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