From 02a5a8abecaf691330a1545fc723d5f29501bc20 Mon Sep 17 00:00:00 2001 From: Lennart Johansson Date: Fri, 3 Jun 2016 16:48:27 +0200 Subject: Doc Safer make dist Ensure make dist works also if the storeage dir already exists Signed-off-by: Lennart Johansson --- doc/Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/doc/Makefile b/doc/Makefile index 878874b..8d2806c 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -151,7 +151,8 @@ dist: doc $(VERB)if [ "$(BOOK_DIST_DIR)" = "" ]; then echo "ERROR: Missing BOOK_DIST_DIR parameter, typically shall be xxx/doc"; exit 10; fi $(VERB)if [ ! -d "`dirname $(BOOK_DIST_DIR)`" ]; then echo "ERROR: Missing parent for BOOK_DIST_DIR"; exit 10; fi $(VERB)if [ -f "$(BOOK_DIST_DIR)/Makefile" ]; then echo "ERROR: Wrong BOOK_DIST_DIR, contains a Makefile?"; exit 10; fi - $(VERB)if [ ! -d "$(BOOK_DIST_DIR)" ]; then mkdir -p "$(BOOK_DIST_DIR)/pdf" ; fi + $(VERB)if [ ! -d "$(BOOK_DIST_DIR)" ]; then mkdir -p "$(BOOK_DIST_DIR)" ; fi + $(VERB)if [ ! -d "$(BOOK_DIST_DIR)/pdf" ]; then mkdir -p "$(BOOK_DIST_DIR)/pdf" ; fi $(VERB)for book in $(COMPONENTS); do \ if ls -d $$book/book*.pdf >/dev/null 2>&1; then cp --preserve=timestamps $$book/book*.pdf "$(BOOK_DIST_DIR)/pdf" ; fi ; \ if ls -d $$book/html >/dev/null 2>&1; then cp -r --preserve=timestamps $$book/html "$(BOOK_DIST_DIR)" ; fi ; \ -- cgit v1.2.3-54-g00ecf