old release notes are not installed anymore

This commit is contained in:
Christophe Romain 2014-07-21 17:58:14 +02:00
parent 320abee110
commit 870d822f08
1 changed files with 0 additions and 1 deletions

View File

@ -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"