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/doc-support | |
| parent | 35262ba6a78125e6f76055dd99416a93d00288fb (diff) | |
docs: Get highlightjs from build symlink
Diffstat (limited to 'doc/doc-support')
| -rw-r--r-- | doc/doc-support/default.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/doc-support/default.nix b/doc/doc-support/default.nix index 9e7335244595..ac9a6f52c830 100644 --- a/doc/doc-support/default.nix +++ b/doc/doc-support/default.nix @@ -14,6 +14,8 @@ in pkgs.runCommand "doc-support" {} ln -s ${pkgs.docbook5}/xml/rng/docbook/docbook.rng ./docbook.rng ln -s ${pkgs.docbook_xsl_ns}/xml/xsl ./xsl + ln -s ${pkgs.documentation-highlighter} ./highlightjs + echo -n "${version}" > ./version ) mv result $out |