blob: 77ae59009938eff1417ceb5f9c2bf4e1dc3a9b67 (
plain) (
blame)
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 librebootbase `pwd`" > 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."
|
