From 3f42989638dcc264a2fa8d1cdc9cd248b5ae5297 Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Fri, 17 Feb 2023 15:42:23 +0100
Subject: [PATCH] [doc] ignores some files

---
 doc/slicing/design-fr/.gitignore | 31 ++++++++++++++++++-------------
 1 file changed, 18 insertions(+), 13 deletions(-)

diff --git a/doc/slicing/design-fr/.gitignore b/doc/slicing/design-fr/.gitignore
index 1c8ae1c9863..79c73e1bf2c 100644
--- a/doc/slicing/design-fr/.gitignore
+++ b/doc/slicing/design-fr/.gitignore
@@ -1,13 +1,18 @@
-anr-logo.png
-biblio.bib
-eu-flag.jpg
-frama-c-book.cls
-main.pdf
-call.pdf
-choose_call.pdf
-exple2.pdf
-propagation.pdf
-propagation.pdf
-fc-macros.tex
-logos
-frama-c-guy.png
+/anr-logo.png
+/biblio.bib
+/eu-flag.jpg
+/frama-c-book.cls
+/main.pdf
+/call.pdf
+/choose_call.pdf
+/exple2.pdf
+/propagation.pdf
+/fc-macros.tex
+/logos
+/frama-c-guy.png
+/main.aux
+/main.bbl
+/main.blg
+/main.log
+/main.out
+/main.toc
-- 
GitLab