From 870d822f08a15fa1016eb325f19504fd8d744987 Mon Sep 17 00:00:00 2001 From: Christophe Romain Date: Mon, 21 Jul 2014 17:58:14 +0200 Subject: [PATCH] old release notes are not installed anymore --- Makefile.in | 1 - 1 file changed, 1 deletion(-) diff --git a/Makefile.in b/Makefile.in index b0d8be31b..018ccd726 100644 --- 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"