aboutsummaryrefslogtreecommitdiff
path: root/resources/scripts/helpers/build/docs/clean
diff options
context:
space:
mode:
authorPaul Koenig <paukoen@gmail.com>2016-06-05 02:29:40 -0400
committerLeah Rowe <info@minifree.org>2016-07-16 18:42:19 +0100
commit2064e4380273acd424fb4cde4a0657d2e3f809fa (patch)
treec84ce95e806111d024abc1093a2ba9f41e20395c /resources/scripts/helpers/build/docs/clean
parent7aa77afe0bf8ee3849ed8d9c7f6482face022b6b (diff)
downloadlibrebootfr-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/clean')
-rwxr-xr-xresources/scripts/helpers/build/docs/clean7
1 files changed, 0 insertions, 7 deletions
diff --git a/resources/scripts/helpers/build/docs/clean b/resources/scripts/helpers/build/docs/clean
deleted file mode 100755
index c0525525..00000000
--- a/resources/scripts/helpers/build/docs/clean
+++ /dev/null
@@ -1,7 +0,0 @@
-#!/bin/sh -e
-
-basedir="docs/manual"
-
-echo "Cleaning $basedir..."
-if [ -d $basedir ]; then rm -Rf $basedir; fi
-echo "Done."