diff options
| -rw-r--r-- | lispref/os.texi | 3 |
1 files changed, 3 insertions, 0 deletions
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. |