From 9810b48709681618e9f722fc6a756f5de54c8c7b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Wed, 19 Oct 2022 11:20:34 +0200
Subject: [PATCH] [distrib] Only excludes the entire /doc directory in the
 distributed archive.

No more exception is needed as /doc/code is no longer used to generate the html
API documentation.
---
 .gitattributes | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/.gitattributes b/.gitattributes
index df54511c5b7..8ef1e4377b4 100644
--- a/.gitattributes
+++ b/.gitattributes
@@ -9,13 +9,7 @@ Changelog merge=union
 # DISTRIBUTION #
 ################
 
-/CLA.pdf export-ignore
-/share/libc/*.pdf export-ignore
 /doc/** export-ignore
-/doc/code -export-ignore
-/doc/code/* -export-ignore
-/doc/Makefile -export-ignore
-/doc/README -export-ignore
 
 ##################################################
 # BINARY/CHECK-SYNTAX/INDENT/EOL-EOF: set/-unset #
-- 
GitLab