diff options
author | Graham Christensen <graham@grahamc.com> | 2019-07-04 08:30:13 -0400 |
---|---|---|
committer | Graham Christensen <graham@grahamc.com> | 2019-07-04 09:10:13 -0400 |
commit | e65c2c66726dfa77e3b9ab51ae85887884162c8f (patch) | |
tree | f9671c1df09d37ad10f1653cdc21ca835c4806a6 /doc/doc-support | |
parent | d11f5a9d15c2d1eb735750392d69d515ae51df6c (diff) |
docs: find docbook rng from doc-support
Diffstat (limited to 'doc/doc-support')
-rw-r--r-- | doc/doc-support/default.nix | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/doc-support/default.nix b/doc/doc-support/default.nix index 94b3ea464d9f4..6cf7666ccf8d4 100644 --- a/doc/doc-support/default.nix +++ b/doc/doc-support/default.nix @@ -10,6 +10,9 @@ in pkgs.runCommand "doc-support" {} cd result ln -s ${locationsXml} ./function-locations.xml ln -s ${functionDocs} ./function-docs + + ln -s ${pkgs.docbook5}/xml/rng/docbook/docbook.rng ./docbook.rng + echo -n "${version}" > ./version ) mv result $out |