diff options
| author | Paul Koenig <paukoen@gmail.com> | 2016-06-05 02:29:40 -0400 |
|---|---|---|
| committer | Leah Rowe <info@minifree.org> | 2016-07-16 18:42:19 +0100 |
| commit | 2064e4380273acd424fb4cde4a0657d2e3f809fa (patch) | |
| tree | c84ce95e806111d024abc1093a2ba9f41e20395c /resources/scripts/helpers/build/docs/alldocs | |
| parent | 7aa77afe0bf8ee3849ed8d9c7f6482face022b6b (diff) | |
| download | librebootfr-2064e4380273acd424fb4cde4a0657d2e3f809fa.tar.gz librebootfr-2064e4380273acd424fb4cde4a0657d2e3f809fa.zip | |
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/scripts/helpers/build/docs/alldocs')
| -rwxr-xr-x | resources/scripts/helpers/build/docs/alldocs | 29 |
1 files changed, 0 insertions, 29 deletions
diff --git a/resources/scripts/helpers/build/docs/alldocs b/resources/scripts/helpers/build/docs/alldocs deleted file mode 100755 index 3f82bdce..00000000 --- a/resources/scripts/helpers/build/docs/alldocs +++ /dev/null @@ -1,29 +0,0 @@ -#!/bin/sh -e -# -# Libreboot documentation build script: alldocs -# -# The build script has an 'all' option which doesn't work -# for docs--the html index needs to be built last. -# - -script_dir="./resources/scripts/helpers/build/docs/" -build_docs () -{ - ${script_dir}$1 - echo -} - -# postscript and dvi are broken; need images in .eps format -# pdf works at least on Trisquel -build_docs clean -build_docs html -build_docs html-by-section -build_docs html-one-page -build_docs info -build_docs plaintext -build_docs pdf -#build_docs postscript -#build_docs dvi -build_docs index - - |