diff options
author | Paul Koenig <paukoen@gmail.com> | 2016-05-23 13:58:06 -0400 |
---|---|---|
committer | Leah Woods <info@minifree.org> | 2016-05-26 02:56:18 +0100 |
commit | c6563ccc64050070b2c35a281c034a460dbae586 (patch) | |
tree | c9e1d788f833161e87d9f3bc22e7795d6eeaf299 /resources/scripts/helpers/build/docs/dvi | |
parent | 4aca93689bfff1be7a6a5a5c623af75dc6ce621a (diff) | |
download | librebootfr-c6563ccc64050070b2c35a281c034a460dbae586.tar.gz librebootfr-c6563ccc64050070b2c35a281c034a460dbae586.zip |
docs: build scripts
also update libreboot.texi to use absolute paths for references to
images, logs, etc.
Diffstat (limited to 'resources/scripts/helpers/build/docs/dvi')
-rwxr-xr-x | resources/scripts/helpers/build/docs/dvi | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/resources/scripts/helpers/build/docs/dvi b/resources/scripts/helpers/build/docs/dvi new file mode 100755 index 00000000..77ae5900 --- /dev/null +++ b/resources/scripts/helpers/build/docs/dvi @@ -0,0 +1,24 @@ +#!/bin/sh -e +# +# Libreboot documentation build script: dvi +# + +echo "@set librebootbase `pwd`" > docs/constants.texi + +basedir="docs/manual/" +outfile="${basedir}libreboot.dvi" +texinfo_src="docs/libreboot.texi" + +[ -d docs/manual ] || mkdir docs/manual + +echo "Writing manual: $outfile..." +# Options: quiet, clean (remove TeX compilation directory) +# and expand macros using makeinfo +texi2dvi -q -c -e -o $outfile $texinfo_src + +echo "Making $outfile.gz..." +gzip -f -9 -c $outfile > $outfile.gz + +echo "Done." + + |