diff options
| author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2013-10-17 13:43:40 +0200 |
|---|---|---|
| committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2013-10-17 13:43:40 +0200 |
| commit | 82ad8c5ce09fe942efac95c176509f1e13da10b8 (patch) | |
| tree | 8db748d5331bafab74147d8bb78a5d0f5667b341 /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | b33657df03e411441625019f1cfe1e1b08135497 (diff) | |
Make manual generation not depend on the user's configuration
Previously changing the value of certain options in configuration.nix
would cause the manual to be regenerated, because some option defaults
depend on the configuration. This is undesirable because rebuilding
the manual is kind of slow. So now the manual reflects an empty
configuration.
The downside is that this requires another call to fixMergeModules,
which adds about 14% to evaluation time. Probably worth it.
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions