From 7feffcc9bfab3dbf747ca5f41402cd6a67cb39cc Mon Sep 17 00:00:00 2001 From: Fergus Henderson Date: Thu, 14 Sep 1995 08:17:46 +0000 Subject: [PATCH] Tell people to check the WWW page before reporting bugs. RELEASE_NOTES: Tell people to check the WWW page before reporting bugs. --- RELEASE_NOTES | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-) diff --git a/RELEASE_NOTES b/RELEASE_NOTES index ce076009e..88a3f7669 100644 --- a/RELEASE_NOTES +++ b/RELEASE_NOTES @@ -173,10 +173,14 @@ extensions, and will work in their absence. The current Mercury system runs on Unix machines. It is known to run on Solaris 2.x, IRIX 5.x, Ultrix 4.3, OSF/1.1, BSDI 1.1, and Linux. It -should run without too many changes on other Unix variants as well. The -current distribution uses gcc as the compiler. We require gcc version -2.6.3 or higher, due to a bug in some earlier versions of gcc. You will -also need GNU make. +should run without too many changes on other Unix variants as well. If +you do encounter any problems, please check our WWW page at + to see if the bug has been +encountered already; if not, send us mail at . + +The current distribution uses gcc as the compiler. We require gcc +version 2.6.3 or higher, due to a bug in some earlier versions of gcc. +You will also need GNU make. The Mercury distribution contains: