allow guide not to be compiled for install

This commit is contained in:
Christophe Romain 2014-09-05 17:10:58 +02:00 committed by Evgeniy Khramtsov
parent 50d7046517
commit 646b445515
1 changed files with 7 additions and 3 deletions

View File

@ -180,12 +180,16 @@ install: all
# #
# Documentation # Documentation
$(INSTALL) -d $(DOCDIR) $(INSTALL) -d $(DOCDIR)
$(INSTALL) -m 644 doc/dev.html $(DOCDIR) [ -f doc/dev.html ] \
$(INSTALL) -m 644 doc/guide.html $(DOCDIR) && $(INSTALL) -m 644 doc/dev.html $(DOCDIR) \
$(INSTALL) -m 644 doc/*.png $(DOCDIR) || echo "No doc/dev.html was built"
[ -f doc/guide.html ] \
&& $(INSTALL) -m 644 doc/guide.html $(DOCDIR) \
|| echo "No doc/guide.html was built"
[ -f doc/guide.pdf ] \ [ -f doc/guide.pdf ] \
&& $(INSTALL) -m 644 doc/guide.pdf $(DOCDIR) \ && $(INSTALL) -m 644 doc/guide.pdf $(DOCDIR) \
|| echo "No doc/guide.pdf was built" || echo "No doc/guide.pdf was built"
$(INSTALL) -m 644 doc/*.png $(DOCDIR)
$(INSTALL) -m 644 COPYING $(DOCDIR) $(INSTALL) -m 644 COPYING $(DOCDIR)
uninstall: uninstall-binary uninstall: uninstall-binary