[m-rev.] for review: Remove RPM spec file and scripts.

[Peter Wang]

Remove RPM spec file and scripts.

The RPM spec file now lives in the `packaging' repository.

.mercury-compiler.spec.in:
tools/build_rpm:
tools/invoke_build_rpm:
	Delete these files.

.gitignore:
Mmakefile:
compiler/notes/release_checklist.html:
	Remove all evidence.

	Delete outdated instructions for building Debian packages.

diff --git a/.gitignore b/.gitignore
index 959be09..ad7fe17 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,7 +2,6 @@ README
 INSTALL
 TODO
 WORK_IN_PROGRESS
-mercury-compiler.spec
 configure
 config.cache
 config.status
diff --git a/.mercury-compiler.spec.in b/.mercury-compiler.spec.in
deleted file mode 100644
index 36eb428..0000000
--- a/.mercury-compiler.spec.in
+++ /dev/null
[snip]

diff --git a/Mmakefile b/Mmakefile
index 3d99a0a..88760a4 100644
--- a/Mmakefile
+++ b/Mmakefile
@@ -226,7 +226,7 @@ depend_deep_profiler:
 # it is required.
 
 .PHONY: all
-all: 	$(GENERATED_DOCS) mercury-compiler.spec util_no_rt $(SUBDIRS)
+all: 	$(GENERATED_DOCS) util_no_rt $(SUBDIRS)
 
 .PHONY: util_no_rt
 util_no_rt: scripts
@@ -405,18 +405,6 @@ WORK_IN_PROGRESS: compiler/notes/work_in_progress.html
 TODO: compiler/notes/todo.html
 	$(HTML_TO_TEXT) compiler/notes/todo.html > TODO
 
-mercury-compiler.spec: .mercury-compiler.spec.in VERSION
-	version_with_underscores=`echo $(VERSION) | sed 's/-/_/g'`; \
-	beta_dir=`expr "$(VERSION)" : '\(.*beta\).*'`; \
-	maybe_beta=`case $(VERSION) in \
-			rotd*) echo "beta-releases/rotd/" ;; \
-			*beta*) echo "beta-releases/$$beta_dir/" ;; \
-		    esac`; \
-	sed -e "s/@VERSION@/$(VERSION)/g" \
-	    -e "s/@VERSION_WITH_UNDERSCORES@/$$version_with_underscores/g" \
-	    -e "s^@MAYBE_BETA@^$$maybe_beta^g" \
-	    .mercury-compiler.spec.in > mercury-compiler.spec
-
 #-----------------------------------------------------------------------------#
 
 # Generally you should do a `mmake realclean' before doing `mmake tar'.
diff --git a/compiler/notes/release_checklist.html b/compiler/notes/release_checklist.html
index 5623daa..a1d86c0 100644
--- a/compiler/notes/release_checklist.html
+++ b/compiler/notes/release_checklist.html
@@ -144,13 +144,6 @@ taken when releasing a new version of Mercury.
      version number, date, file sizes, and file names need to be updated
      for a new release.
 
-<li> Create new binary packages for Linux packaging systems.
-     The .spec file can be used to create .rpm packages.
-     The command <i>dpkg-buildpackage -rfakeroot</i> on hydra can be
-     used to create .deb packages, although you should probably
-     let (or make) the official maintainer do this so it can be
-     PGP signed and uploaded.
-
 <li> Upload "mercury-VERSION-compiler.tar.gz" and "mercury-VERSION.lsm" to
      ftp://sunsite.unc.edu/incoming/Linux. They will be moved to
      /pub/Linux/Incoming fairly quickly, and eventually should be moved
diff --git a/tools/build_rpm b/tools/build_rpm
deleted file mode 100755
index bfbafd4..0000000
--- a/tools/build_rpm
+++ /dev/null
@@ -1,181 +0,0 @@
[snip]

diff --git a/tools/invoke_build_rpm b/tools/invoke_build_rpm
deleted file mode 100755
index a93b67a..0000000
--- a/tools/invoke_build_rpm
+++ /dev/null
@@ -1,18 +0,0 @@
[snip]