From 4bb4e74b10b355dea51ace8fbff67a38e60abe2d Mon Sep 17 00:00:00 2001 From: Simran Brucherseifer Date: Mon, 30 May 2016 21:05:37 +0200 Subject: [PATCH] Attempt to stop gitbook from re-downloading specified version everytime, delete header include after build --- Documentation/Books/Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Documentation/Books/Makefile b/Documentation/Books/Makefile index 0bffd33aa5..fd31408a69 100644 --- a/Documentation/Books/Makefile +++ b/Documentation/Books/Makefile @@ -183,9 +183,9 @@ build-book: make book-check-mdpp-leftovers make ppbook-check-directory-link - cd ppbooks/$(NAME) && gitbook fetch 2.6.7 cd ppbooks/$(NAME) && gitbook install - cd ppbooks/$(NAME) && gitbook build ./ ./../../books/$(NAME) + cd ppbooks/$(NAME) && gitbook build ./ ./../../books/$(NAME) --gitbook=2.6.7 + rm -f ./books/$(NAME)/HEADER.html python ../Scripts/deprecated.py # make book-check-markdown-leftovers