diff options
author | John Ericson <git@JohnEricson.me> | 2019-03-24 16:06:59 -0400 |
---|---|---|
committer | John Ericson <git@JohnEricson.me> | 2019-03-24 22:11:09 -0400 |
commit | 3b27113a7c361cffebcf111b05f45e1b553cabbf (patch) | |
tree | e921b36fcc8acc41610d38d451f0f62e3f081907 /doc/stdenv.xml | |
parent | cf7f234ff54f0e41343d77652de0210cc9e362f9 (diff) |
manual: Make sure building doesn't need recursive nix
$(shell ...) looks a little sketch like it will be run no matter what.
And there are problems building the manual on darwin so hopefully this
fixes them.
Diffstat (limited to 'doc/stdenv.xml')
0 files changed, 0 insertions, 0 deletions