2017-03-24 16:23:12 +00:00
|
|
|
#!/usr/bin/env bash
|
2018-05-10 08:48:19 +00:00
|
|
|
echo "Generating PDF document ..."
|
2018-06-13 08:43:16 +00:00
|
|
|
make latexpdf
|
2018-05-10 08:48:19 +00:00
|
|
|
|
|
|
|
echo "Generating HTML pages ..."
|
2017-05-11 16:44:45 +00:00
|
|
|
make html
|
2018-05-10 08:48:19 +00:00
|
|
|
|
2018-12-20 18:06:22 +00: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 08:43:16 +00:00
|
|
|
mv $PWD/build/latex/corda-developer-site.pdf $PWD/build/html/_static/corda-developer-site.pdf
|