mirror of
https://github.com/corda/corda.git
synced 2025-06-19 07:38:22 +00:00
Reordering fix: move now works as depends on creation of html directory from previous step. (#3106)
This commit is contained in:
@ -12,6 +12,11 @@ else
|
|||||||
fi
|
fi
|
||||||
|
|
||||||
# TODO: The PDF rendering is pretty ugly and can be improved a lot.
|
# TODO: The PDF rendering is pretty ugly and can be improved a lot.
|
||||||
|
echo "Generating PDF document ..."
|
||||||
make pdf
|
make pdf
|
||||||
mv build/pdf/corda-developer-site.pdf build/html/_static/corda-developer-site.pdf
|
|
||||||
|
echo "Generating HTML pages ..."
|
||||||
make html
|
make html
|
||||||
|
|
||||||
|
echo "Moving PDF file into place ..."
|
||||||
|
mv $PWD/build/pdf/corda-developer-site.pdf $PWD/build/html/_static/corda-developer-site.pdf
|
||||||
|
Reference in New Issue
Block a user