1 files changed, 0 insertions, 29 deletions
diff --git a/resources/scripts/helpers/build/docs/alldocs b/resources/scripts/helpers/build/docs/alldocs
deleted file mode 100755
index 3f82bdc..0000000
--- a/resources/scripts/helpers/build/docs/alldocs
+++ /dev/null
@@ -1,29 +0,0 @@
-#!/bin/sh -e
-#
-# Libreboot documentation build script: alldocs
-#
-# The build script has an 'all' option which doesn't work
-# for docs--the html index needs to be built last.
-#
-
-script_dir="./resources/scripts/helpers/build/docs/"
-build_docs ()
-{
-    ${script_dir}$1
-    echo
-}
-
-# postscript and dvi are broken; need images in .eps format
-# pdf works at least on Trisquel
-build_docs clean
-build_docs html
-build_docs html-by-section
-build_docs html-one-page
-build_docs info
-build_docs plaintext
-build_docs pdf
-#build_docs postscript
-#build_docs dvi
-build_docs index
-
-