diff --git a/deploy b/deploy new file mode 100644 index 0000000..c02136b --- /dev/null +++ b/deploy @@ -0,0 +1,8 @@ +#!bin/bash + +# Copy the docs and assets directories onto the server +cp -r docs /srv/http +cp -r assets /srv/http + +# Update the header css GET parameter +sed -i "s/TIMESTAMP/"$(date +%s)"/g" /srv/http/docs/common/header.php diff --git a/docs/common/header.php b/docs/common/header.php index 6b25e9c..2cad7a8 100755 --- a/docs/common/header.php +++ b/docs/common/header.php @@ -1,5 +1,5 @@ - +