X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fautomake.mk;h=c571a236d2fc240d8bd841a2ade937ae2791158d;hb=c1f04750c4430bf3e7f0630842f879ee695b947d;hp=b4d93ce1b304a21a7e4c0eb950bd5fdbc90287ff;hpb=65dea0d51ec33cbc614a3ec87b5aae28c86f005a;p=pspp

diff --git a/doc/automake.mk b/doc/automake.mk
index b4d93ce1b3..c571a236d2 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/spv-file-format.texi \
 	doc/dev/encrypted-file-wrappers.texi \
 	doc/dev/q2c.texi