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) | |
| download | nixpkgs-e65c2c66726dfa77e3b9ab51ae85887884162c8f.tar nixpkgs-e65c2c66726dfa77e3b9ab51ae85887884162c8f.tar.gz nixpkgs-e65c2c66726dfa77e3b9ab51ae85887884162c8f.tar.bz2 nixpkgs-e65c2c66726dfa77e3b9ab51ae85887884162c8f.tar.lz nixpkgs-e65c2c66726dfa77e3b9ab51ae85887884162c8f.tar.xz nixpkgs-e65c2c66726dfa77e3b9ab51ae85887884162c8f.tar.zst nixpkgs-e65c2c66726dfa77e3b9ab51ae85887884162c8f.zip | |
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 94b3ea464d9..6cf7666ccf8 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 |