diff options
Diffstat (limited to 'resources/scripts/helpers/build/docs/html-one-page')
| -rwxr-xr-x | resources/scripts/helpers/build/docs/html-one-page | 20 |
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 ad3140e2..c6f6fe0b 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." |