diff --git a/.gitattributes b/.gitattributes index 0a54755f6279846d8f92196e3766d9657c6ef3df..a75ee9c05603249d5ee60dc71dc53a756ace95dd 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