Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
<?php
echo '<pre>';
exec('./dropit-updatedoc.sh', $output);
echo print_r($output).'</pre>';
?>
#!/usr/local/bin/bash
export PATH="/sbin:/bin:/usr/sbin:/usr/bin:/usr/games:/usr/local/sbin:/usr/local
/bin:/root/bin"
cd dropit-common
echo `pwd`
echo `git pull origin master`
cd doc && make html
cp -Rf build/html/* ../../.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.