diff --git a/doc/Makefile.am b/doc/Makefile.am index 43307987591b10bfdf450c002069ddccbfd9c9cc..0565a37687a6f19d865d239b112627c16037cccf 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