diff --git a/etc/teams.scm b/etc/teams.scm
index 4d65a5476e9..d8fee0d723d 100755
--- a/etc/teams.scm
+++ b/etc/teams.scm
@@ -591,7 +591,8 @@ GLib/GIO, GTK, GStreamer and Webkit."
 
 (define-member (person "Ludovic Courtès"
                        "ludo@gnu.org")
-  core home bootstrap core-packages installer mentors)
+  core home bootstrap core-packages installer
+  documentation mentors)
 
 (define-member (person "Andreas Enge"
                        "andreas@enge.fr")