From d3df571368450dba3587e939f7312f9566740171 Mon Sep 17 00:00:00 2001 From: Pliable Pixels Date: Sun, 24 Mar 2019 07:10:19 -0400 Subject: moved to rtd --- docs/build-docs.sh | 4 ---- 1 file changed, 4 deletions(-) delete mode 100755 docs/build-docs.sh (limited to 'docs/build-docs.sh') diff --git a/docs/build-docs.sh b/docs/build-docs.sh deleted file mode 100755 index 40322648..00000000 --- a/docs/build-docs.sh +++ /dev/null @@ -1,4 +0,0 @@ -#!/bin/bash -make clean -make html -touch docgen/.nojekyll -- cgit v1.2.3