From acb8a222cfbff6bd07d3447bbafb68110c646f63 Mon Sep 17 00:00:00 2001 From: yoogx Date: Sat, 23 Aug 2014 22:23:59 +0200 Subject: [PATCH] * Do not exit on error if the doc has not been built --- doc/Makefile.am | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/doc/Makefile.am b/doc/Makefile.am index 43307987..0565a376 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -37,7 +37,8 @@ dist-hook: all if [ -r $(GUIDE).pdf ]; then \ cp -p -r $(GUIDE).html $(GUIDE).pdf $(distdir); \ cp -p $(SED_FILES) $(distdir); \ - else \ + fi + if [ -r $(srcdir)/$(GUIDE).pdf ]; then \ cp -r $(srcdir)/$(GUIDE).html $(srcdir)/$(GUIDE).pdf $(distdir); \ cp -p ${addprefix $(srcdir)/, $(SED_FILES)} $(distdir); \ fi -- GitLab