X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fautomake.mk;h=a5255e03fe2ddc2ba27bd8f985b2d8eef1bd2b70;hb=refs%2Fheads%2Fpivot-table2;hp=7c349b4159cd72fbc7bf11788d697634ba4e4cb7;hpb=674231519c0e08f05f73d87dbee4987c3a8840a3;p=pspp

diff --git a/doc/automake.mk b/doc/automake.mk
index 7c349b4159..a5255e03fe 100644
--- a/doc/automake.mk
+++ b/doc/automake.mk
@@ -38,6 +38,7 @@ doc_pspp_dev_TEXINFOS = doc/version-dev.texi \
 	doc/dev/i18n.texi \
 	doc/dev/output.texi \
 	doc/dev/system-file-format.texi \
+	doc/dev/pc+-file-format.texi \
 	doc/dev/portable-file-format.texi \
 	doc/dev/q2c.texi