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