From 98ebe1f9bdcad8c85ea0cb2030dd81a47486a023 Mon Sep 17 00:00:00 2001 From: Silvio Rhatto Date: Sun, 11 Dec 2022 10:54:09 -0300 Subject: Minor fixes --- Makefile | 10 +++++----- scripts/watch | 2 +- 2 files changed, 6 insertions(+), 6 deletions(-) diff --git a/Makefile b/Makefile index 6dbbd98..2342c85 100644 --- 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 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 -- cgit v1.2.3