Minor fixes

diff --git a/Makefile b/Makefile
index 6dbbd98d8769c600eed5a2cc4bfe148dcf10ce76..2342c85b5880f463a5f6d6771cbf3b59b8bb952a 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -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 cb7f2903dec333da86616bd56618bd9116713e03..b0b3c508c371a9572f8f639a1a2ac4dff73bdbdf 100755 (executable)
--- 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