diff --git a/docs/scripts/install.sh b/docs/scripts/install.sh deleted file mode 100755 index 20adae162..000000000 --- a/docs/scripts/install.sh +++ /dev/null @@ -1,8 +0,0 @@ -#! /bin/sh - -echo "Updating Apt." -apt-get update > /dev/null -echo "Ensuring Pip is installed." -DEBIAN_FRONTEND=noninteractive apt-get install -y -qq python3-pip > /dev/null -echo "Ensuring Mkdocs is installed." -pip3 install mkdocs diff --git a/docs/scripts/serve.sh b/docs/scripts/serve.sh deleted file mode 100755 index 2596ef316..000000000 --- a/docs/scripts/serve.sh +++ /dev/null @@ -1,10 +0,0 @@ -#! /bin/sh - -cd /vagrant -echo "Stopping any running Mkdocs servers." -pkill mkdocs -echo "Building Mkdocs documentation." -mkdocs build --clean -q > /dev/null -echo "Launching Mkdocs server." -mkdocs serve > /dev/null 2>&1 & -echo "Visit http://localhost:8888 to see the LibreTime documentation."