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 required symlink (this is temporary!)
15 if [ ! -e "include/_manual" ]; then
16 ln -s ../_manual/ include/_manual
19 # create the required folders if need be, or empties them
20 if [ ! -d "_site" ]; then
26 if [ ! -d "_manual.munge" ]; then
29 rm -rf _manual.munge/*
37 # if a target directory exists, copy the site there
38 if [ ! -z "$DIRHTML" ]
41 cp -R _site/* "$DIRHTML/"