From 6705a2a650c88e7031f9b3ea904addebb1580dfa Mon Sep 17 00:00:00 2001
From: "Richard M. Stallman" <rms@gnu.org>
Date: Mon, 2 May 1994 18:14:01 +0000
Subject: [PATCH] *** empty log message ***

---
 lispref/os.texi | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/lispref/os.texi b/lispref/os.texi
index d12c188ad47..caa02c94771 100644
--- a/lispref/os.texi
+++ b/lispref/os.texi
@@ -558,6 +558,9 @@ Hewlett-Packard operating system.
 @item irix
 Silicon Graphics Irix system.
 
+@item linux
+The free Linux operating system.
+
 @item rtu
 Masscomp RTU, UCB universe.
 
-- 
2.39.5