old release notes are not installed anymore

diff --git a/Makefile.in b/Makefile.in
index b0d8be31b8463968eb8838fbf3dd386fcddf4938..018ccd7269ee5ded901b55d6c32ca71484a1543a 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -183,7 +183,6 @@ install: all
        $(INSTALL) -m 644 doc/dev.html $(DOCDIR)
        $(INSTALL) -m 644 doc/guide.html $(DOCDIR)
        $(INSTALL) -m 644 doc/*.png $(DOCDIR)
-       $(INSTALL) -m 644 doc/*.txt $(DOCDIR)
        [ -f doc/guide.pdf ] \
                && $(INSTALL) -m 644 doc/guide.pdf $(DOCDIR) \
                || echo "No doc/guide.pdf was built"