summaryrefslogtreecommitdiffstats
path: root/resources/scripts/helpers/build/docs/html-one-page
diff options
context:
space:
mode:
Diffstat (limited to 'resources/scripts/helpers/build/docs/html-one-page')
-rwxr-xr-xresources/scripts/helpers/build/docs/html-one-page20
1 files changed, 1 insertions, 19 deletions
diff --git a/resources/scripts/helpers/build/docs/html-one-page b/resources/scripts/helpers/build/docs/html-one-page
index ad3140e..c6f6fe0 100755
--- a/resources/scripts/helpers/build/docs/html-one-page
+++ b/resources/scripts/helpers/build/docs/html-one-page
@@ -1,21 +1,3 @@
#!/bin/sh -e
-#
-# Libreboot documentation build script: html-one-page
-#
+./build docs .master $0 $@
-echo "@set docsdir ../" > docs/constants.texi
-
-basefile=`basename "$0"`
-basedir="docs/manual/"
-outfile="${basedir}libreboot_${basefile}.html"
-texinfo_src="docs/libreboot.texi"
-
-[ -d docs/manual ] || mkdir docs/manual
-
-echo "Writing manual: $outfile..."
-makeinfo --html --no-warn --no-split -o $outfile $texinfo_src
-
-echo "Making $outfile.gz..."
-gzip -f -9 -c $outfile > $outfile.gz
-
-echo "Done."