From 95996a6a3340510de674184abcd7674853f1d87c Mon Sep 17 00:00:00 2001 From: Griatch Date: Sun, 5 Apr 2020 13:22:51 +0200 Subject: [PATCH] Less checkenv output --- docs/Makefile | 2 ++ docs/checkenv.sh | 4 ---- 2 files changed, 2 insertions(+), 4 deletions(-) diff --git a/docs/Makefile b/docs/Makefile index dc39734d39..b79a084192 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -71,6 +71,8 @@ local: make clean make _autodoc_index make _build + @echo "" + @echo "Documentation built. \nTo see result, open evennia/docs/build/html/versions//index.html in a browser." mv-local: make _multiversion-check-env diff --git a/docs/checkenv.sh b/docs/checkenv.sh index 81af41b31c..1683ca14eb 100644 --- a/docs/checkenv.sh +++ b/docs/checkenv.sh @@ -7,16 +7,12 @@ if [ ! -d "$EVDIR" ]; then echo "The evennia dir is not found at $EVDIR."; exit 1 -else - echo "Evennia dir correctly set to $EVDIR."; fi if [ ! -d "$EVGAMEDIR" ]; then echo "The gamedir is not found at $EVGAMEDIR"; exit 1 -else - echo "Evennia game dir correctly set to $EVGAMEDIR."; fi if [ $# -ne 0 ]