From 8a8278701f5989e7c2cf1689815cbe9c8b116077 Mon Sep 17 00:00:00 2001
From: Jonas Bernoulli <jonas@bernoul.li>
Date: Wed, 8 Jul 2020 13:30:13 +0200
Subject: [PATCH] .gitignore: ignore the generated documentation

Signed-off-by: Jonas Bernoulli <jonas@bernoul.li>
---
 .gitignore | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.gitignore b/.gitignore
index 3d38061..6dfbd93 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,4 @@
+/Documentation/html/
+/Documentation/man1/
 /t/test-results
 /t/trash directory*