diff options
author | Paul Koenig <paukoen@gmail.com> | 2016-06-05 02:29:40 (EDT) |
---|---|---|
committer | Leah Rowe <info@minifree.org> | 2016-07-16 13:42:19 (EDT) |
commit | 2064e4380273acd424fb4cde4a0657d2e3f809fa (patch) | |
tree | c84ce95e806111d024abc1093a2ba9f41e20395c /resources/grub/font/dejavusansmono.pf2 | |
parent | 7aa77afe0bf8ee3849ed8d9c7f6482face022b6b (diff) | |
download | libreboot-2064e4380273acd424fb4cde4a0657d2e3f809fa.zip libreboot-2064e4380273acd424fb4cde4a0657d2e3f809fa.tar.gz libreboot-2064e4380273acd424fb4cde4a0657d2e3f809fa.tar.bz2 |
docs: build scripts rewrite
".master" script in resources/scripts/helpers/build/docs
Adds option to build html for libreboot website with
"./build docs <html-type> w"
Converts jpegs to eps for dvi and ps output, if these formats
are built, using imagemagick.
Archives resources (images) with compressed html manuals.
Diffstat (limited to 'resources/grub/font/dejavusansmono.pf2')
0 files changed, 0 insertions, 0 deletions