resources/scripts/helpers/build/docs/texinfo-gz


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

#!/bin/sh -e
#
# Libreboot documentation build script: texinfo-gz
#

echo "@set librebootbase `pwd`" > docs/constants.texi

basedir="docs/manual/"
outfile="${basedir}libreboot.texi.gz"
texinfo_src="docs/libreboot.texi"

[ -d docs/manual ] || mkdir docs/manual

echo "Making $outfile..."
gzip -f -9 -c $texinfo_src > $outfile

echo "Done."