From 77b10be62c304b77e842385e6082e32bf096e31c Mon Sep 17 00:00:00 2001
From: Harrison Deng <yunyangdeng@gmail.com>
Date: Sat, 16 Apr 2022 03:09:11 -0500
Subject: [PATCH] .gitignore updated to ignore generated html docs.

---
 .gitignore | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.gitignore b/.gitignore
index 109e9fd..65b58a2 100644
--- a/.gitignore
+++ b/.gitignore
@@ -492,3 +492,5 @@ dist
 
 # Custom rules (everything added below won't be overriden by 'Generate .gitignore File' if you use 'Update' option)
 
+# Don't include HTML documentation.
+docs
\ No newline at end of file