You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
17 lines
406 B
Bash
17 lines
406 B
Bash
2 years ago
|
#!/usr/bin/env bash
|
||
|
set -e
|
||
|
|
||
|
VERSION=$(cat ../Cargo.toml | grep -E "^version" | grep -Eo '[0-9.]+')
|
||
|
DEST_DIR=../../cozodb_site/$VERSION
|
||
|
|
||
|
make html
|
||
|
touch build/html/.nojekyll
|
||
|
rm -fr $DEST_DIR
|
||
|
mkdir -p $DEST_DIR
|
||
|
mv build/html $DEST_DIR/manual
|
||
|
|
||
|
make latexpdf
|
||
|
mv build/latex/thecozodatabasemanual.pdf $DEST_DIR/manual.pdf
|
||
|
|
||
|
jupyter nbconvert --to html tutorial/tutorial.ipynb
|
||
|
mv tutorial/tutorial.html $DEST_DIR/
|