2017-03-24 16:23:12 +00:00
|
|
|
#!/usr/bin/env bash
|
2018-05-10 09:48:19 +01:00
|
|
|
echo "Generating PDF document ..."
|
2019-03-29 15:43:01 +00:00
|
|
|
make latexpdf LATEXMKOPTS="-quiet"
|
2018-05-10 09:48:19 +01:00
|
|
|
|
|
|
|
echo "Generating HTML pages ..."
|
2017-05-11 17:44:45 +01:00
|
|
|
make html
|
2018-05-10 09:48:19 +01:00
|
|
|
|
2018-12-20 19:06:22 +01:00
|
|
|
echo "Moving PDF file from $(eval echo $PWD/build/latex/corda-developer-site.pdf) to $(eval echo $PWD/build/html/_static/corda-developer-site.pdf)"
|
2018-06-13 09:43:16 +01:00
|
|
|
mv $PWD/build/latex/corda-developer-site.pdf $PWD/build/html/_static/corda-developer-site.pdf
|