diff options
| author | Amin Bandali <amin@gnu.org> | 2018-09-10 13:24:00 -0400 |
|---|---|---|
| committer | Amin Bandali <amin@gnu.org> | 2018-09-10 13:24:00 -0400 |
| commit | 045feb371c06593b509ac199c9e55e81f6042492 (patch) | |
| tree | 032634628f26add23192ec3c8e7dd6d5ab241e01 /Makefile | |
| parent | 2a6e947b63d838082d20b79fbe7886d18586e531 (diff) | |
| download | configs-045feb371c06593b509ac199c9e55e81f6042492.tar.gz configs-045feb371c06593b509ac199c9e55e81f6042492.tar.xz configs-045feb371c06593b509ac199c9e55e81f6042492.zip | |
disable making notmuch docs for now, due to automake issues
fix doesn't seem to be applied to nixpkgs unstable yet ? either that,
or some package might somehow be using an unpatched version.
https://github.com/NixOS/nixpkgs/pull/42649
http://git.savannah.gnu.org/cgit/automake.git/commit/?id=13f00eb4493c217269b76614759e452d8302955e
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions