diff lispref/os.texi @ 7277:6a2af30d33fe

*** empty log message ***
author Richard M. Stallman <rms@gnu.org>
date Mon, 02 May 1994 18:14:01 +0000
parents 075343a6b32b
children 7cdfcd5e71ff
line wrap: on
line diff
--- 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.