diff options
| author |  Trevor Elliott <trevor@galois.com> | 2013-07-31 13:46:54 -0700 |
|---|---|---|
| committer | Trevor Elliott <trevor@galois.com> | 2013-07-31 13:46:54 -0700 |
| commit | f4e818e507aeda392466b2d71b8412517a19ce83 (patch) | |
| tree | d6572a0846c06c65904086d1acf5d8553500564c /src/js/fiveui/build.mk | |
| parent | f1d4987e44a5ba3e66bf724d264ef2a57b82b775 (diff) | |
Font-awesome without explicit font loading
Diffstat (limited to 'src/js/fiveui/build.mk')
| -rw-r--r-- | src/js/fiveui/build.mk | 13 |
1 files changed, 1 insertions, 12 deletions
diff --git a/src/js/fiveui/build.mk b/src/js/fiveui/build.mk index 41d2c06..3679a95 100644 --- a/src/js/fiveui/build.mk +++ b/src/js/fiveui/build.mk @@ -78,21 +78,10 @@ $1/data/font-awesome/css/%: $(lib-dir)/font-awesome/css/% \ | $1/data/font-awesome/css $$(call cmd,cp) -$1/data/font-awesome/font: | $1/data/font-awesome - $$(call cmd,mkdir) - -$1/data/font-awesome/font/%: $(lib-dir)/font-awesome/font/% \ - | $1/data/font-awesome/font - $$(call cmd,cp) - $1/data/font-awesome: | $1/data $$(call cmd,mkdir) -$2: $1/data/font-awesome/css/font-awesome.css \ - $1/data/font-awesome/font/fontawesome-webfont.eot \ - $1/data/font-awesome/font/fontawesome-webfont.svg \ - $1/data/font-awesome/font/fontawesome-webfont.woff \ - $1/data/font-awesome/font/fontawesome-webfont.ttf +$2: $1/data/font-awesome/css/font-awesome.css # simple libraries |