From 8de0fa063aeb10caf0d992489d2b1bb7a99bbfe6 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr>
Date: Fri, 18 May 2018 14:47:26 +0200
Subject: [codeowner] Add comment.

[ci skip]
---
 .github/CODEOWNERS | 1 +
 1 file changed, 1 insertion(+)

(limited to '.github')

diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS
index eeeb17b61..540c2673c 100644
--- a/.github/CODEOWNERS
+++ b/.github/CODEOWNERS
@@ -322,6 +322,7 @@
 /Makefile.ci       @ejgallego
 # Secondary maintainer @SkySkimmer
 
+# This file belongs to the doc
 /Makefile.doc        @maximedenes
 # Secondary maintainer @silene
 
-- 
cgit v1.2.3