From 1b214e00c1364d82e32b5610f43c5d7911e206ea Mon Sep 17 00:00:00 2001 From: josecoll Date: Thu, 17 May 2018 10:29:07 +0100 Subject: [PATCH] Reordering fix: move now works as depends on creation of html directory from previous step. (#3106) --- docs/make-docsite.sh | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/docs/make-docsite.sh b/docs/make-docsite.sh index bc317c3e63..4d1b866958 100755 --- a/docs/make-docsite.sh +++ b/docs/make-docsite.sh @@ -12,6 +12,11 @@ else fi # TODO: The PDF rendering is pretty ugly and can be improved a lot. +echo "Generating PDF document ..." make pdf -mv build/pdf/corda-developer-site.pdf build/html/_static/corda-developer-site.pdf + +echo "Generating HTML pages ..." make html + +echo "Moving PDF file into place ..." +mv $PWD/build/pdf/corda-developer-site.pdf $PWD/build/html/_static/corda-developer-site.pdf