diff options
Diffstat (limited to 'resources/scripts/helpers/build/docs/html')
-rwxr-xr-x | resources/scripts/helpers/build/docs/html | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/resources/scripts/helpers/build/docs/html b/resources/scripts/helpers/build/docs/html new file mode 100755 index 00000000..e2a88978 --- /dev/null +++ b/resources/scripts/helpers/build/docs/html @@ -0,0 +1,26 @@ +#!/bin/sh -e +# +# Libreboot documentation build script: html-by-node +# +# Note: currently the manual generated by this script does +# not display images correctly +# +# './build docs html' is short for ./build docs html-by-node +# name the output accordingly for clarity + +echo "@set librebootbase `pwd`" > docs/constants.texi + +basefile="`basename "$0"`-by-node" +basedir="docs/manual/" +outdir="${basedir}libreboot_${basefile}" +texinfo_src="docs/libreboot.texi" + +[ -d docs/manual ] || mkdir docs/manual + +echo "Writing manual: $outdir..." +makeinfo --html --no-warn --split=node -o $outdir $texinfo_src + +echo "Making $outdir.tar.gz..." +tar -czf $outdir.tar.gz $outdir + +echo "Done." |