diff options
author | Valérian Saliou <valerian@valeriansaliou.name> | 2014-01-24 19:32:59 +0400 |
---|---|---|
committer | Valérian Saliou <valerian@valeriansaliou.name> | 2014-01-24 19:32:59 +0400 |
commit | 156e7204f5c4d2406670c454525fd257caa02b21 (patch) | |
tree | a8d1369d86ba75d011d9c6c221e229dbc7d01c22 /tools | |
parent | b2b3d29d0807dfd0cf6864615dabceb0340e4e2f (diff) |
Cleanup of Jappix Mini extractor
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/extract_mini.sh | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/tools/extract_mini.sh b/tools/extract_mini.sh index 05c817df..d38f54c3 100755 --- a/tools/extract_mini.sh +++ b/tools/extract_mini.sh @@ -193,11 +193,6 @@ for css_file in $CSS_FILES; do cat "$SOURCE_DIR/stylesheets/$css_file" | sed s/^\\xef\\xbb\\xbf// >> "$TARGET_DIR/stylesheets/mini.css" done -# copy additional style sheets -check_license "$SOURCE_DIR/stylesheets/mini-ie.css" "$COMPATIBLE_LICENSES" -echo "$LICENSE_HEADER" > "$TARGET_DIR/stylesheets/mini-ie.css" -cat "$SOURCE_DIR/stylesheets/mini-ie.css" >> "$TARGET_DIR/stylesheets/mini-ie.css" - # copy artwork # mini.png, mini.gif, animate.png and animate.gif are licensed under CC-BY mkdir -p "$TARGET_DIR/images/sprites/" |