diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/Makefile.in | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/Makefile.in b/src/Makefile.in index 019fb7c38..f03f7fae8 100644 --- a/src/Makefile.in +++ b/src/Makefile.in @@ -248,9 +248,11 @@ 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/guide.html ] \ + && install -m 644 ../doc/dev.html $(DOCDIR) \ + && install -m 644 ../doc/guide.html $(DOCDIR) \ + && install -m 644 ../doc/*.png $(DOCDIR) \ + || echo "No ../doc/guide.html was built" install -m 644 ../doc/*.txt $(DOCDIR) [ -f ../doc/guide.pdf ] \ && install -m 644 ../doc/guide.pdf $(DOCDIR) \ |