1 files changed, 29 insertions, 0 deletions
diff --git a/resources/scripts/helpers/build/docs/alldocs b/resources/scripts/helpers/build/docs/alldocs
new file mode 100755
index 00000000..3f82bdce
--- /dev/null
+++ b/resources/scripts/helpers/build/docs/alldocs
@@ -0,0 +1,29 @@
+#!/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
+
+