diff options
| author | Graham Christensen <graham@grahamc.com> | 2019-07-04 08:51:43 -0400 |
|---|---|---|
| committer | Graham Christensen <graham@grahamc.com> | 2019-07-04 09:10:14 -0400 |
| commit | 5a0696f6d0bf3344437eb1c83f1108e46664e24a (patch) | |
| tree | d6e3adab9507b38291c55ec1afd1c9aa5a95573b /doc/doc-support/default.nix | |
| parent | de58e706f9965b90a8df98e3cc29ff4fcc22cb18 (diff) | |
xmlformat.conf: move to doc-support build
Diffstat (limited to '')
| -rw-r--r-- | doc/doc-support/default.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/doc-support/default.nix b/doc/doc-support/default.nix index ac9a6f52c83..c8be039fa7e 100644 --- a/doc/doc-support/default.nix +++ b/doc/doc-support/default.nix @@ -14,6 +14,7 @@ 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 ${../../nixos/doc/xmlformat.conf} ./xmlformat.conf ln -s ${pkgs.documentation-highlighter} ./highlightjs echo -n "${version}" > ./version |