From d0a259f15dc349ee2c276970695825e71e878247 Mon Sep 17 00:00:00 2001
From: Rodrigo Arias <rodrigo.arias@bsc.es>
Date: Tue, 13 Oct 2020 12:14:19 +0200
Subject: [PATCH] Ignore generated doc

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

diff --git a/garlic/doc/.gitignore b/garlic/doc/.gitignore
index d62ddbb..292d969 100644
--- a/garlic/doc/.gitignore
+++ b/garlic/doc/.gitignore
@@ -1,2 +1,2 @@
-*.pdf
 *.txt
+*.pdf