X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fautomake.mk;h=7ebf3481fe777610e713729988becdcea5e2a6bb;hb=5538787d6e14af697e7a0ff4421e29a3f04cbadb;hp=9844d335d493a709da9afab404ae35f96ab4df27;hpb=86ccb0cd2f25f8a9ffbce6208e8726972cacb520;p=pspp

diff --git a/doc/automake.mk b/doc/automake.mk
index 9844d335d4..7ebf3481fe 100644
--- a/doc/automake.mk
+++ b/doc/automake.mk
@@ -41,6 +41,7 @@ doc_pspp_dev_TEXINFOS = doc/version-dev.texi \
 	doc/dev/system-file-format.texi \
 	doc/dev/pc+-file-format.texi \
 	doc/dev/portable-file-format.texi \
+	doc/dev/encrypted-file-wrappers.texi \
 	doc/dev/q2c.texi
 
 dist_man_MANS += doc/pspp.1 \