allow guide not to be compiled for install

diff --git a/Makefile.in b/Makefile.in
index 018ccd7269ee5ded901b55d6c32ca71484a1543a..525879854909c7bbc83970b0848fab9d533dd147 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -180,12 +180,16 @@ install: all
        #
        # Documentation
        $(INSTALL) -d $(DOCDIR)
-       $(INSTALL) -m 644 doc/dev.html $(DOCDIR)
-       $(INSTALL) -m 644 doc/guide.html $(DOCDIR)
-       $(INSTALL) -m 644 doc/*.png $(DOCDIR)
+       [ -f doc/dev.html ] \
+               && $(INSTALL) -m 644 doc/dev.html $(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 ] \
                && $(INSTALL) -m 644 doc/guide.pdf $(DOCDIR) \
                || echo "No doc/guide.pdf was built"
+       $(INSTALL) -m 644 doc/*.png $(DOCDIR)
        $(INSTALL) -m 644 COPYING $(DOCDIR)
 
 uninstall: uninstall-binary