aboutsummaryrefslogtreecommitdiff
path: root/resources/scripts/helpers/build/docs/texinfo-gz
diff options
context:
space:
mode:
Diffstat (limited to 'resources/scripts/helpers/build/docs/texinfo-gz')
-rwxr-xr-xresources/scripts/helpers/build/docs/texinfo-gz14
1 files changed, 1 insertions, 13 deletions
diff --git a/resources/scripts/helpers/build/docs/texinfo-gz b/resources/scripts/helpers/build/docs/texinfo-gz
index 7998c331..c6f6fe0b 100755
--- a/resources/scripts/helpers/build/docs/texinfo-gz
+++ b/resources/scripts/helpers/build/docs/texinfo-gz
@@ -1,15 +1,3 @@
#!/bin/sh -e
-#
-# Libreboot documentation build script: texinfo-gz
-#
+./build docs .master $0 $@
-basedir="docs/manual/"
-outfile="${basedir}libreboot.texi.gz"
-texinfo_src="docs/libreboot.texi"
-
-[ -d docs/manual ] || mkdir docs/manual
-
-echo "Making $outfile..."
-gzip -f -9 -c $texinfo_src > $outfile
-
-echo "Done."