# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 767902441 0
# Node ID 6a2af30d33fef63472021e266b41c8684f9d0935
# Parent  66f3335be178047e7fd6efcad174769c5e0f2768
*** empty log message ***

diff -r 66f3335be178 -r 6a2af30d33fe lispref/os.texi
--- a/lispref/os.texi	Mon May 02 17:47:58 1994 +0000
+++ b/lispref/os.texi	Mon May 02 18:14:01 1994 +0000
@@ -558,6 +558,9 @@
 @item irix
 Silicon Graphics Irix system.
 
+@item linux
+The free Linux operating system.
+
 @item rtu
 Masscomp RTU, UCB universe.