diff options
| author |  Benjamin Jones <bjones@galois.com> | 2013-08-05 16:10:59 -0700 |
|---|---|---|
| committer | Benjamin Jones <bjones@galois.com> | 2013-08-05 16:10:59 -0700 |
| commit | 51f5a2477adb718a1868483cf00e04816bf7423a (patch) | |
| tree | a2d98aadae81bd58ef3c331b4c8c17bcad9efe83 /src/js/fiveui/build.mk | |
| parent | 5d0167e9bb639e58698ad6d2c9d279f2d2474dbe (diff) | |
| parent | 50f92b54550aa296cdc902c957af1efd35b24da1 (diff) | |
Merge branch 'new-ui' into new-ui-severity
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 |