diff --git a/Documentation/Books/Makefile b/Documentation/Books/Makefile index b10d72c117..a9b0e1a655 100644 --- a/Documentation/Books/Makefile +++ b/Documentation/Books/Makefile @@ -8,12 +8,15 @@ MD_FILES = $(wildcard Users/*/*.md) md-files: @for file in $(basename $(MDPP_FILES)); do echo "converting $${file}.mdpp"; markdown-pp.py $${file}.mdpp $${file}.md; done +clean-md-files: + @for file in $(basename $(MD_FILES)); do echo "remove $${file}.md";rm $${file}.md;done .PHONY: build-books build-books: md-files @test -d books || mkdir books make build-book NAME=Users + make clean-md-files build-book: @test -d books/$(NAME) || mkdir books/$(NAME) @@ -21,4 +24,3 @@ build-book: python bot.py cd $(NAME) && gitbook build -o ../books/$(NAME) cp Users/Arangodb_Logo.png books/Users/ - @for file in $(basename $(MD_FILES)); do echo "remove $${file}.md";rm $${file}.md;done