From fbb09a7f1e4ddb04e23eca28be5da5026387e9f4 Mon Sep 17 00:00:00 2001 From: Zachary Klosko <31484611+zklosko@users.noreply.github.com> Date: Sun, 10 May 2020 11:35:57 -0400 Subject: [PATCH] removing mkdocs scripts --- docs/scripts/install.sh | 8 -------- docs/scripts/serve.sh | 10 ---------- 2 files changed, 18 deletions(-) delete mode 100755 docs/scripts/install.sh delete mode 100755 docs/scripts/serve.sh 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."