X-Git-Url: https://mop.ddnsfree.com/gitweb/?a=blobdiff_plain;f=INSTALL.sh;h=1966ecaa28cd5bd8d429c15620c7a30639b64616;hb=666fa65c2e532d7edbb755492ab757e2ff0f8762;hp=6ed3fa7582c7b98edb8b21b2d1b7ba9e2dd095e4;hpb=6c1edc28977e0fe344f5c15b345b11c4a0e61b4b;p=brisk.git

diff --git a/INSTALL.sh b/INSTALL.sh
index 6ed3fa7..1966eca 100755
--- a/INSTALL.sh
+++ b/INSTALL.sh
@@ -413,4 +413,10 @@ fi
 if [ "$web_only" = "FALSE" ]; then
     mv "$ftokk_path" "$ftok_path"
 fi
+if [ -f WARNING.txt ]; then
+    echo ; echo "    ==== WARNING ===="
+    echo
+    cat WARNING.txt
+    echo
+fi
 exit 0