Re: [PATCH] Install notmuch-git during make install

[Martin Jambor <mjambor@suse.cz>]

Hi,

On Thu, Aug 22 2024, Michael J Gruber wrote:
> Am Do., 22. Aug. 2024 um 14:37 Uhr schrieb Martin Jambor <mjambor@suse.cz>:
>>
>> Hi,
>>
>> I have noticed that notmuch-git was not being copied to an appropriate
>> destination during make install.  This patch adds that.
>>
>> ---
>>  Makefile.local | 1 +
>>  1 file changed, 1 insertion(+)
>>
>> diff --git a/Makefile.local b/Makefile.local
>> index 7699c208..34e8b882 100644
>> --- a/Makefile.local
>> +++ b/Makefile.local
>> @@ -278,6 +278,7 @@ notmuch-shared: $(notmuch_client_modules) lib/$(LINKER_NAME)
>>  install: all install-man install-info
>>         mkdir -p "$(DESTDIR)$(prefix)/bin/"
>>         install notmuch-shared "$(DESTDIR)$(prefix)/bin/notmuch"
>> +       install notmuch-git "$(DESTDIR)$(prefix)/bin/notmuch-git"
>
> notmuch-git(1) mentions nmbug, so we'd want to install that as well, don't we?

I don't know.   I have never even contemplated using it but it looks
much more like an internal tool to me.

However, after a discussion about notmuch-git on the IRC I learned that
there may be plans to change it, so perhaps even my patch should be
postponed until after that.  I really don't know.

Martin