[m-rev.] diff: update RPM spec file

[Fergus Henderson]

On 08-Feb-2004, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> Branches: main
> 
> Update the RPM spec file to support RedHat 8.0 and Mercury > 0.11.

And similarly for the release branch (with one exception:
mercury_config doesn't exist on the release branch).

----------

Estimated hours taken: 0.25
Branches: release

.mercury-compiler.spec.in:
	Back-port my recent main branch change to this file
	to the 0.11 release branch.

[The diff below is against the main branch version.]
Index: .mercury-compiler.spec.in
===================================================================
RCS file: /home/mercury1/repository/mercury/.mercury-compiler.spec.in,v
retrieving revision 1.5
diff -u -d -u -r1.5 .mercury-compiler.spec.in
--- .mercury-compiler.spec.in	8 Feb 2004 09:40:18 -0000	1.5
+++ .mercury-compiler.spec.in	8 Feb 2004 09:43:22 -0000
@@ -36,7 +36,7 @@
 
 %changelog
 * Sun Feb  8 2004 Fergus Henderson <fjh at cs.mu.oz.au>
-- Update to support RedHat 8.0 and Mercury > 0.11.
+- Update to support RedHat 8.0 and Mercury 0.11.
   In particular:
     use /usr/share/man and /usr/share/info instead of /usr/man and /usr/info;
     use ".1*" instead of ".1" for man pages in order to allow for the
@@ -86,7 +86,6 @@
 /usr/bin/mdemangle
 /usr/bin/mercury.bat
 /usr/bin/mercury_cleanup_install
-/usr/bin/mercury_config
 /usr/bin/mercury_update_interface
 /usr/bin/mgnuc
 /usr/bin/mkfifo_using_mknod
@@ -100,7 +99,6 @@
 /usr/bin/vpath_find
 /usr/share/man/man1/c2init.1*
 /usr/share/man/man1/mdb.1*
-/usr/share/man/man1/mercury_config.1*
 /usr/share/man/man1/mgnuc.1*
 /usr/share/man/man1/ml.1*
 /usr/share/man/man1/mmake.1*
-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------