diff options
-rw-r--r-- | Makefile | 10 | ||||
-rwxr-xr-x | scripts/watch | 2 |
2 files changed, 6 insertions, 6 deletions
@@ -23,11 +23,11 @@ endif # See http://unix.stackexchange.com/questions/32182/simple-command-line-http-server#32200 # http://php.net/manual/en/features.commandline.webserver.php -serve: - @if [ "$(HTTP_SERVER)" = "SimpleHTTPServer" ]; then python -m SimpleHTTPServer $(HTTP_PORT); fi - @if [ "$(HTTP_SERVER)" = "ssi_server" ]; then PYTHONDONTWRITEBYTECODE=0 ssi_server.py $(HTTP_PORT); fi - @if [ "$(HTTP_SERVER)" = "http.server" ]; then python3 -m http.server $(HTTP_PORT); fi - @if [ "$(HTTP_SERVER)" = "php" ]; then php -S localhost:$(HTTP_PORT); fi +#serve: +# @if [ "$(HTTP_SERVER)" = "SimpleHTTPServer" ]; then python -m SimpleHTTPServer $(HTTP_PORT); fi +# @if [ "$(HTTP_SERVER)" = "ssi_server" ]; then PYTHONDONTWRITEBYTECODE=0 ssi_server.py $(HTTP_PORT); fi +# @if [ "$(HTTP_SERVER)" = "http.server" ]; then python3 -m http.server $(HTTP_PORT); fi +# @if [ "$(HTTP_SERVER)" = "php" ]; then php -S localhost:$(HTTP_PORT); fi # Configure a git post-receive hook post_receive: diff --git a/scripts/watch b/scripts/watch index cb7f290..b0b3c50 100755 --- a/scripts/watch +++ b/scripts/watch @@ -7,7 +7,7 @@ BASENAME="`basename $0`" DIRNAME="$(cd `dirname $0` &> /dev/null && pwd)" BASEDIR="$DIRNAME/.." -WATCHED="branches" +WATCHED="docs" # Got to the base folder cd $BASEDIR |