diff --git a/doc/Makefile.am b/doc/Makefile.am
index 18bfc13a8..e8f091e78 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -5,3 +5,5 @@ SUBDIRS += reference
 endif
 
 DIST_SUBDIRS = reference
+
+EXTRA_DIST = CODING_STYLE