3 # Simple shell script to do all the steps that need doing
6 # if a parameter exists, that's where the website is copied after generation
9 DIRHTML=$(echo "$1"|sed 's/\/$//g'); #strips the trailing slash if need be
14 # create the required folders if need be, or empties them
15 if [ ! -d "_site" ]; then
21 if [ ! -d "_manual" ]; then
32 # if a target directory exists, copy the site there
33 if [ ! -z "$DIRHTML" ]
36 cp -R _site/* "$DIRHTML/"