From 56ad32e118f032babc342cc258fbac47b7d79b3e Mon Sep 17 00:00:00 2001
From: "Richard M. Stallman" <rms@gnu.org>
Date: Thu, 6 May 1993 18:41:14 +0000
Subject: [PATCH] Comment change.

---
 src/m/intel386.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/m/intel386.h b/src/m/intel386.h
index 254213379dd..f359af57311 100644
--- a/src/m/intel386.h
+++ b/src/m/intel386.h
@@ -26,7 +26,7 @@ NOTE-START
 Intel 386 (-machine=intel386 or -machine=is386.h)
 
   The possibilities for -opsystem are: bsd4-2, usg5-2-2, usg5-3,
-  isc2-2, 386-ix, esix, or xenix.
+  isc2-2, 386-ix, esix, sco3.2v4, and xenix.
 
   18.58 should support a wide variety of operating systems.
   Use isc2-2 for Interactive 386/ix version 2.2.