doc: Make the developers guide just a description of file formats.

[pspp] / doc / automake.mk

diff --git a/doc/automake.mk b/doc/automake.mk
index e80d5c5043c02459d9685d418953cfae8d06c009..aea1a6d6c77b45ecdf51ef33819989666832dcd1 100644 (file)
--- 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 \