diff --git a/doc/manual/Makefile.am b/doc/manual/Makefile.am
index 9ebfbfdab964210d19a9f19c8e52160fd71e0faf..0f8d3472fcf4c4d12e1c454861b5f18e67868170 100644
--- a/doc/manual/Makefile.am
+++ b/doc/manual/Makefile.am
@@ -1,4 +1,6 @@
-EXTRA_DIST = source
+EXTRA_DIST = source \
+	utils/dynare_dom.py \
+	utils/dynare_lex.py
 
 SRC = $(wildcard src/source/*.rst)