# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 736713674 0
# Node ID e88f7e8923847472e5a3b1e71a51efd8347cbe43
# Parent  8958f29e417c2e02fa07174ec59d85863f634553
Comment change.

diff -r 8958f29e417c -r e88f7e892384 src/m/intel386.h
--- a/src/m/intel386.h	Thu May 06 18:11:39 1993 +0000
+++ b/src/m/intel386.h	Thu May 06 18:41:14 1993 +0000
@@ -26,7 +26,7 @@
 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.