diff --git a/devel-docs/Makefile.am b/devel-docs/Makefile.am
index 319be58805..19d76ffa98 100644
--- a/devel-docs/Makefile.am
+++ b/devel-docs/Makefile.am
@@ -5,6 +5,7 @@ EXTRA_DIST = \
 	README.gtkdoc		\
 	pdb/pdb_self_doc.el 	\
 	pdb/pdb_dump		\
+	pdb/pdb_dump.texi	\
 	pdb/texinfo.tex 	\
 	gih.txt  		\
 	gpb.txt  		\