blob: d3be299be1dcb239e0222abe4682f5cc49b04f46 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
#!/bin/sh -e
#
# Libreboot documentation build script: info
#
echo "@set librebootbase `pwd`" > 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."
|
