From 27ee4969b3bad09bd5230c267416350c495dd642 Mon Sep 17 00:00:00 2001
From: ng0 <ng0@infotropique.org>
Date: Wed, 25 Oct 2017 19:03:06 +0000
Subject: fix

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

(limited to 'doc/.gitignore')

diff --git a/doc/.gitignore b/doc/.gitignore
index f46d61e70..d3743107e 100644
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -5,7 +5,6 @@
 *.toc
 *.cp
 *.cps
-*.html
 *~
 *.info
 *.info-1
-- 
cgit v1.2.3