X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fautomake.mk;h=aea1a6d6c77b45ecdf51ef33819989666832dcd1;hb=033c8787a641e1263906b93c5fc30f4789fb136f;hp=e80d5c5043c02459d9685d418953cfae8d06c009;hpb=cf8aa1f317ac569ac742a597e6f7cf1b4cbb293c;p=pspp

diff --git a/doc/automake.mk b/doc/automake.mk
index e80d5c5043..aea1a6d6c7 100644
--- a/doc/automake.mk
+++ b/doc/automake.mk
@@ -50,13 +50,6 @@ doc_pspp_TEXINFOS = doc/version.texi \
 	doc/fdl.texi
 
 doc_pspp_dev_TEXINFOS = doc/version-dev.texi \
-	doc/dev/intro.texi \
-	doc/dev/concepts.texi \
-	doc/dev/gui.texi \
-	doc/dev/syntax.texi \
-	doc/dev/data.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 \