diff options
author | XhmikosR <xhmikosr@gmail.com> | 2014-10-29 00:50:22 +0300 |
---|---|---|
committer | XhmikosR <xhmikosr@gmail.com> | 2015-01-21 10:50:51 +0300 |
commit | 3f512c927bdee5e601a49ecd60e5fb78edfd7794 (patch) | |
tree | aacb13cfecb6fa08f7c5ba9d356c046bbcef020a /Gruntfile.js | |
parent | d5a2b27e1661f390e1f6cc00774f33effe0f03d3 (diff) |
Add AnchorJS for docs anchors.
Diffstat (limited to 'Gruntfile.js')
-rw-r--r-- | Gruntfile.js | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/Gruntfile.js b/Gruntfile.js index de945ab3cf..f818a43c02 100644 --- a/Gruntfile.js +++ b/Gruntfile.js @@ -191,7 +191,7 @@ module.exports = function (grunt) { src: 'dist/css/<%= pkg.name %>-theme.css' }, docs: { - src: 'docs/assets/css/src/docs.css' + src: ['docs/assets/css/anchor.css', 'docs/assets/css/src/docs.css'] }, examples: { expand: true, @@ -237,8 +237,10 @@ module.exports = function (grunt) { }, docs: { src: [ - 'docs/assets/css/src/docs.css', - 'docs/assets/css/src/pygments-manni.css' + 'docs/assets/css/src/pygments-manni.css', + 'docs/assets/css/src/anchor.css', + 'docs/assets/css/src/docs.css' + ], dest: 'docs/assets/css/docs.min.css' } |