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 /lib/packed | |
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