summaryrefslogtreecommitdiffstats
path: root/resources/scripts/helpers/build/docs/html-one-page
blob: 7c4f01809051ff157570d4aba1bf69b4f257b09b (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
#!/bin/sh -e
#
# Libreboot documentation build script: html-one-page
#

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

basefile=`basename "$0"`
basedir="docs/manual/"
outfile="${basedir}libreboot_${basefile}.html"
texinfo_src="docs/libreboot.texi"

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

echo "Writing manual: $outfile..."
makeinfo --html --no-warn --no-split -o $outfile $texinfo_src

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

echo "Done."