diff options
| author | Paul Koenig <paukoen@gmail.com> | 2016-06-05 02:29:40 -0400 |
|---|---|---|
| committer | Leah Rowe <info@minifree.org> | 2016-07-16 18:42:19 +0100 |
| commit | 2064e4380273acd424fb4cde4a0657d2e3f809fa (patch) | |
| tree | c84ce95e806111d024abc1093a2ba9f41e20395c /resources/scripts/helpers/build/docs/html | |
| parent | 7aa77afe0bf8ee3849ed8d9c7f6482face022b6b (diff) | |
| download | librebootfr-2064e4380273acd424fb4cde4a0657d2e3f809fa.tar.gz librebootfr-2064e4380273acd424fb4cde4a0657d2e3f809fa.zip | |
docs: build scripts rewrite
".master" script in resources/scripts/helpers/build/docs
Adds option to build html for libreboot website with
"./build docs <html-type> w"
Converts jpegs to eps for dvi and ps output, if these formats
are built, using imagemagick.
Archives resources (images) with compressed html manuals.
Diffstat (limited to 'resources/scripts/helpers/build/docs/html')
| -rwxr-xr-x | resources/scripts/helpers/build/docs/html | 25 |
1 files changed, 1 insertions, 24 deletions
diff --git a/resources/scripts/helpers/build/docs/html b/resources/scripts/helpers/build/docs/html index 897143ea..c6f6fe0b 100755 --- a/resources/scripts/helpers/build/docs/html +++ b/resources/scripts/helpers/build/docs/html @@ -1,26 +1,3 @@ #!/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 +./build docs .master $0 $@ -echo "@set docsdir ../../" > 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." |