From 0ef11b992ab83315e951b546d1a5b46719c2c2d7 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Mon, 8 Aug 2022 08:12:53 +0200
Subject: [PATCH] [Doc] update header attributes for doc/developer

---
 .gitattributes | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.gitattributes b/.gitattributes
index 0a54755f627..a75ee9c0560 100644
--- a/.gitattributes
+++ b/.gitattributes
@@ -178,6 +178,8 @@ README* header_spec=.ignore
 /doc/MakeLaTeXModern header_spec=.ignore
 /doc/acsl_tutorial_slides/script header_spec=.ignore
 /doc/developer/METADOC.txt header_spec=.ignore
+/doc/developer/examples/**/* header_spec=.ignore
+/doc/developer/tutorial/**/* header_spec=.ignore
 /doc/qualification/testing header_spec=.ignore
 /doc/release/periodic-elements.txt header_spec=.ignore
 /doc/eva/watchpoints header_spec=.ignore
-- 
GitLab