Skip to content

Instantly share code, notes, and snippets.

@almet
Created April 15, 2010 09:42
Show Gist options
  • Save almet/366912 to your computer and use it in GitHub Desktop.
Save almet/366912 to your computer and use it in GitHub Desktop.
<?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