diff --git a/doc/Makefile.am b/doc/Makefile.am
index 0c59ffbc3..2ad2fe2c8 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -58,7 +58,7 @@ org:
 
 ORG_FILES = \
   org/.dir-locals.el \
-  org/init.el \
+  org/init.el.in \
   org/syntax.css \
   org/genltl.org \
   org/ioltl.org \