diff options
Diffstat (limited to 'resources/scripts/helpers/build/docs/texinfo-gz')
| -rwxr-xr-x | resources/scripts/helpers/build/docs/texinfo-gz | 14 |
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 7998c33..c6f6fe0 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." |