diff options
| -rwxr-xr-x | docs/src/gen-docs.js | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/docs/src/gen-docs.js b/docs/src/gen-docs.js index beaa35f0..2f72f404 100755 --- a/docs/src/gen-docs.js +++ b/docs/src/gen-docs.js @@ -83,6 +83,12 @@ function writeTheRest(writesFuture) { writesFuture.push(writer.copy('docs/src/templates/css/bootstrap.min.css', 'css/bootstrap.min.css')); writesFuture.push(writer.copy('docs/src/templates/css/docs.css', 'css/docs.css')); writesFuture.push(writer.copy('docs/src/templates/css/font-awesome.css', 'css/font-awesome.css')); + + writesFuture.push(writer.copyTpl('font/fontawesome-webfont.eot')); + writesFuture.push(writer.copyTpl('font/fontawesome-webfont.svg')); + writesFuture.push(writer.copyTpl('font/fontawesome-webfont.svgz')); + writesFuture.push(writer.copyTpl('font/fontawesome-webfont.ttf')); + writesFuture.push(writer.copyTpl('font/fontawesome-webfont.woff')); } |