diff options
Diffstat (limited to 'resources/scripts/helpers/build/docs/postscript')
-rwxr-xr-x | resources/scripts/helpers/build/docs/postscript | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/resources/scripts/helpers/build/docs/postscript b/resources/scripts/helpers/build/docs/postscript new file mode 100755 index 0000000..eb754e4 --- /dev/null +++ b/resources/scripts/helpers/build/docs/postscript @@ -0,0 +1,22 @@ +#!/bin/sh -e +# +# Libreboot documentation build script: postscript +# + +echo "@set librebootbase `pwd`" > docs/constants.texi + +basedir="docs/manual/" +outfile="${basedir}libreboot.ps" +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 --ps -o $outfile $texinfo_src + +echo "Making $outfile.gz..." +gzip -f -9 -c $outfile > $outfile.gz + +echo "Done." |