From 0478cd9100c21cb6a6ee5a9a19769cb8eb6056f0 Mon Sep 17 00:00:00 2001
From: Yibo Kong <94937314+YiboK@users.noreply.github.com>
Date: Sat, 2 Dec 2023 17:52:35 -0600
Subject: [PATCH] Create README.md

---
 docs/README.md | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 docs/README.md

diff --git a/docs/README.md b/docs/README.md
new file mode 100644
index 0000000..a9ffb2d
--- /dev/null
+++ b/docs/README.md
@@ -0,0 +1 @@
+To update the documentation, make changes to the .md files in `src/man` or `src/lib` and push to main. The CI tools will automatically build the necessary html files.