[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: |
Noam Postavsky |
|
Subject: |
Re: master 7b1026c: * make-dist: Don't fail if building --without-makeinfo. |
|
Date: |
Sun, 20 May 2018 09:48:34 -0400 |
On 13 May 2018 at 11:05, Noam Postavsky <address@hidden> wrote:
> Yes, I think I'd rather not see noise from error messages about it either.
Since there have been no further comments, I've pushed to master.
[1: a32412b8aa]: 2018-05-20 09:47:36 -0400
* make-dist: Add '--no-info' option.
https://git.savannah.gnu.org/cgit/emacs.git/commit/?id=a32412b8aa3dc14d810054601d9502ccfd1dae57
- Re: master 7b1026c: * make-dist: Don't fail if building --without-makeinfo., (continued)
- Re: master 7b1026c: * make-dist: Don't fail if building --without-makeinfo., Eli Zaretskii, 2018/05/04
- 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 <=