From af8f122eb2d1f81ca38f95eae5e9227d9f0e8144 Mon Sep 17 00:00:00 2001
From: toy <toy>
Date: Fri, 22 Nov 2002 18:26:13 +0000
Subject: [PATCH] Include internet docs.

---
 docs/cmu-user/cmu-user.tex | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docs/cmu-user/cmu-user.tex b/docs/cmu-user/cmu-user.tex
index 82438dd50..0334d5307 100644
--- a/docs/cmu-user/cmu-user.tex
+++ b/docs/cmu-user/cmu-user.tex
@@ -95,6 +95,7 @@ language implementation, programming environment}
 \input{serve-event}
 \input{aliens}
 \input{ipc}
+\input{internet}
 \input{debug-internals}
 
 
-- 
GitLab