From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sat, 19 Sep 2015 22:52:17 +0000 (-0700)
Subject: doc: Add missing file to doc_pspp_dev_TEXINFOS.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=5538787d6e14af697e7a0ff4421e29a3f04cbadb;hp=86ccb0cd2f25f8a9ffbce6208e8726972cacb520;p=pspp

doc: Add missing file to doc_pspp_dev_TEXINFOS.

Reported by John Darrington.
---

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 \