From 51b9448ae7f4607865bfac292bb26fb9c3d38103 Mon Sep 17 00:00:00 2001
From: Peter Dimov <pdimov@gmail.com>
Date: Sun, 11 Jul 2021 16:27:09 +0300
Subject: [PATCH] Update doc/.gitignore

---
 doc/.gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/doc/.gitignore b/doc/.gitignore
index 334f513..ff8f381 100644
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -1 +1,2 @@
 /pdf/
+/html/