]> git.notmuchmail.org Git - notmuch/commitdiff
projects / notmuch / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 0557c5a)
doc/build: use $(MAKE) instead of make
authorDavid Bremner <david@tethera.net>
Tue, 19 Mar 2019 23:50:28 +0000 (20:50 -0300)
committerDavid Bremner <david@tethera.net>
Tue, 19 Mar 2019 23:54:15 +0000 (20:54 -0300)
This should silence some warnings about the jobserver, but also make
it easier to build the docs where GNU make is called something other
than make.

Based on a patch from aidecoe.


No differences found
Notmuch source code