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 ]