From b627c7242d71c834e7a06353ced967c43598e344 Mon Sep 17 00:00:00 2001
From: Clément Pit-Claudel
Date: Thu, 6 Sep 2018 16:42:24 -0400
Subject: [doc] Create a wrapper around the Credits file for the LaTeX build

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

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index d52898b3a5..582a8f43c7 100644
--- a/.gitignore
+++ b/.gitignore
@@ -101,6 +101,7 @@ doc/faq/axioms.pdf_t
 doc/faq/axioms.png
 doc/sphinx/index.rst
 doc/sphinx/zebibliography.rst
+doc/sphinx/credits-wrapper.rst
 doc/stdlib/Library.out
 doc/stdlib/Library.ps
 doc/stdlib/Library.coqdoc.tex
-- 
cgit v1.2.3