diff options
author | Graham Christensen <graham@grahamc.com> | 2019-07-04 08:46:59 -0400 |
---|---|---|
committer | Graham Christensen <graham@grahamc.com> | 2019-07-04 09:10:14 -0400 |
commit | de58e706f9965b90a8df98e3cc29ff4fcc22cb18 (patch) | |
tree | daa3c947d30f222071f7d025eef768e70472d15e /doc/Makefile | |
parent | 35262ba6a78125e6f76055dd99416a93d00288fb (diff) |
docs: Get highlightjs from build symlink
Diffstat (limited to 'doc/Makefile')
-rw-r--r-- | doc/Makefile | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/doc/Makefile b/doc/Makefile index c127bea13c1e..24ad42185f91 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -63,12 +63,12 @@ out/epub/manual.epub: manual-full.xml cd "out/epub/scratch/" && zip -Xr9D "../manual.epub" * rm -rf "out/epub/scratch/" -highlightjs: +highlightjs: doc-support/result mkdir -p highlightjs - cp -r "$$HIGHLIGHTJS/highlight.pack.js" highlightjs/ - cp -r "$$HIGHLIGHTJS/LICENSE" highlightjs/ - cp -r "$$HIGHLIGHTJS/mono-blue.css" highlightjs/ - cp -r "$$HIGHLIGHTJS/loader.js" highlightjs/ + cp -r doc-support/result/highlightjs/highlight.pack.js highlightjs/ + cp -r doc-support/result/highlightjs/LICENSE highlightjs/ + cp -r doc-support/result/highlightjs/mono-blue.css highlightjs/ + cp -r doc-support/result/highlightjs/loader.js highlightjs/ manual-full.xml: ${MD_TARGETS} .version functions/library/locations.xml functions/library/generated *.xml **/*.xml **/**/*.xml |