From df4d908f1c3021e7079279642a4119353bf436f4 Mon Sep 17 00:00:00 2001
From: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Date: Wed, 4 Nov 2020 12:57:22 +0100
Subject: [PATCH] Add more rendered files to ignore

---
 garlic/doc/.gitignore | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/garlic/doc/.gitignore b/garlic/doc/.gitignore
index 292d969..b30e586 100644
--- a/garlic/doc/.gitignore
+++ b/garlic/doc/.gitignore
@@ -1,2 +1,4 @@
-*.txt
+*.utf8
+*.ascii
+*.html
 *.pdf