From d686ace2df2dff93eb760dfa2fcd5d116132105f Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Thu, 8 Feb 2024 15:35:33 -0500
Subject: [PATCH] doc

---
 src/ws/tiny_httpd_ws.mli | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/ws/tiny_httpd_ws.mli b/src/ws/tiny_httpd_ws.mli
index b3440559..44f48e9d 100644
--- a/src/ws/tiny_httpd_ws.mli
+++ b/src/ws/tiny_httpd_ws.mli
@@ -1,3 +1,9 @@
+(** Websockets for Tiny_httpd.
+
+    This sub-library ([tiny_httpd.ws]) exports a small implementation
+    for a websocket server. It has no additional dependencies.
+    *)
+
 open Tiny_httpd_server
 module IO = Tiny_httpd_io