diff options
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 |