docs/tutorial/deploy.sh
author Faheem Mitha <faheem@faheem.info>
Sat, 19 May 2018 18:26:36 +0530
branchstable
changeset 3745 9fa3585b160f
parent 3376 aad37ffd7d58
permissions -rwxr-xr-x
debian: add line to clean-docs target to delete additional docs file

mkdir -p html

cp index.html html/
cp *.css html/
cp *.js html/
cp -R img html/
cp -R graphviz-images/ html/

netlify deploy