From ba073c8a4635dfe2f0b49280d1650a469cde3050 Mon Sep 17 00:00:00 2001
From: Tom Christie <tom@tomchristie.com>
Date: Fri, 15 May 2020 20:49:08 +0100
Subject: [PATCH] Clean up docs scripts (#953)

Co-authored-by: Florimond Manca <florimond.manca@gmail.com>
---
 scripts/{docs-serve => docs} |  0
 scripts/docs-build           | 10 ----------
 2 files changed, 10 deletions(-)
 rename scripts/{docs-serve => docs} (100%)
 delete mode 100755 scripts/docs-build

diff --git a/scripts/docs-serve b/scripts/docs
similarity index 100%
rename from scripts/docs-serve
rename to scripts/docs
diff --git a/scripts/docs-build b/scripts/docs-build
deleted file mode 100755
index a6b9297e..00000000
--- a/scripts/docs-build
+++ /dev/null
@@ -1,10 +0,0 @@
-#!/bin/sh -e
-
-export PREFIX=""
-if [ -d 'venv' ] ; then
-    export PREFIX="venv/bin/"
-fi
-
-set -x
-
-${PREFIX}mkdocs build
-- 
2.47.3