diff options
author | Graham Christensen <graham@grahamc.com> | 2019-07-04 08:27:16 -0400 |
---|---|---|
committer | Graham Christensen <graham@grahamc.com> | 2019-07-04 09:10:13 -0400 |
commit | d11f5a9d15c2d1eb735750392d69d515ae51df6c (patch) | |
tree | dee43f0c1af01b6ef430cee98cfcdc933246ec55 /doc/Makefile | |
parent | cd6bf8aa00962766e4db9f26e36848b6be8dd096 (diff) |
docs: get version from doc-support build
Diffstat (limited to 'doc/Makefile')
-rw-r--r-- | doc/Makefile | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/doc/Makefile b/doc/Makefile index 4cd493d5565c..06a70519488e 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -74,11 +74,10 @@ highlightjs: manual-full.xml: ${MD_TARGETS} .version functions/library/locations.xml functions/library/generated *.xml **/*.xml **/**/*.xml xmllint --nonet --xinclude --noxincludenode manual.xml --output manual-full.xml -.version: - nix-instantiate --eval \ - -E '(import ../lib).version' > .version +.version: doc-support/result + ln -rfs ./doc-support/result/version .version -doc-support/result: +doc-support/result: doc-support/default.nix (cd doc-support; nix-build) functions/library/locations.xml: doc-support/result |