diff --git a/docs/make-docsite.sh b/docs/make-docsite.sh index bc317c3e63..1030bd766a 100755 --- a/docs/make-docsite.sh +++ b/docs/make-docsite.sh @@ -12,6 +12,12 @@ 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 +