[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: master 7b1026c: * make-dist: Don't fail if building --without-makein
From: |
Eli Zaretskii |
Subject: |
Re: master 7b1026c: * make-dist: Don't fail if building --without-makeinfo. |
Date: |
Fri, 04 May 2018 20:36:09 +0300 |
> From: Glenn Morris <address@hidden>
> Date: Fri, 04 May 2018 11:48:18 -0400
> Cc: Noam Postavsky <address@hidden>
>
> Noam Postavsky wrote:
>
> > branch: master
> > commit 7b1026cbf48fa8a3f31497910f696a5ba28476cb
> [...]
> > * make-dist: Don't fail if building --without-makeinfo.
>
> I'm not sure that make-dist should allow the creation of tarfiles
> without the info files. Almost certainly not by default, anyway.
I tend to agree.
Noam, what was the rationale for this change?
- Re: master 7b1026c: * make-dist: Don't fail if building --without-makeinfo., Glenn Morris, 2018/05/04
- Re: master 7b1026c: * make-dist: Don't fail if building --without-makeinfo.,
Eli Zaretskii <=
- Re: master 7b1026c: * make-dist: Don't fail if building --without-makeinfo., Paul Eggert, 2018/05/05
- Re: master 7b1026c: * make-dist: Don't fail if building --without-makeinfo., Noam Postavsky, 2018/05/05
- Re: master 7b1026c: * make-dist: Don't fail if building --without-makeinfo., Eli Zaretskii, 2018/05/05
- Re: master 7b1026c: * make-dist: Don't fail if building --without-makeinfo., Paul Eggert, 2018/05/05
- Re: master 7b1026c: * make-dist: Don't fail if building --without-makeinfo., Noam Postavsky, 2018/05/13
- Re: master 7b1026c: * make-dist: Don't fail if building --without-makeinfo., Noam Postavsky, 2018/05/20