From 2064e4380273acd424fb4cde4a0657d2e3f809fa Mon Sep 17 00:00:00 2001 From: Paul Koenig Date: Sun, 05 Jun 2016 02:29:40 -0400 Subject: docs: build scripts rewrite ".master" script in resources/scripts/helpers/build/docs Adds option to build html for libreboot website with "./build docs w" Converts jpegs to eps for dvi and ps output, if these formats are built, using imagemagick. Archives resources (images) with compressed html manuals. --- (limited to 'resources/scripts/helpers/build/docs/info') diff --git a/resources/scripts/helpers/build/docs/info b/resources/scripts/helpers/build/docs/info index 8a0031a..c6f6fe0 100755 --- a/resources/scripts/helpers/build/docs/info +++ b/resources/scripts/helpers/build/docs/info @@ -1,23 +1,3 @@ #!/bin/sh -e -# -# Libreboot documentation build script: info -# +./build docs .master $0 $@ -echo "@set docsdir ../" > docs/constants.texi - -basedir="docs/manual/" -outfile="${basedir}libreboot.info" -texinfo_src="docs/libreboot.texi" - -[ -d docs/manual ] || mkdir docs/manual - -echo "Writing manual: $outfile..." -makeinfo --no-warn --no-split -o $outfile $texinfo_src - -echo "Making $outfile.gz..." -gzip -f -9 -c $outfile > $outfile.gz - -echo "Removing $outfile..." -rm -f $outfile - -echo "Done." -- cgit v0.9.1