1 files changed, 0 insertions, 10 deletions
diff --git a/docs/publish.sh b/docs/publish.sh
deleted file mode 100755
index c634f30b..00000000
--- a/docs/publish.sh
+++ /dev/null
@@ -1,10 +0,0 @@
-#!/bin/sh
-
-# see equivalent script in libreboot-website for more info
-
-FILE=${1%.md}
-echo $FILE
-cat $FILE.md > temp.md
-sed temp.md -i -e 's/.md\(#[a-z\-]*\)*)/.html\1)/g'
-TOC=$(grep -q "^x-toc-enable: true$" temp.md && echo "--toc")
-pandoc -t html temp.md -s --css /global.css --section-divs -T Libreboot $TOC > $FILE.html