[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: |
Sat, 05 May 2018 18:34:43 +0300 |
> From: Noam Postavsky <address@hidden>
> Date: Sat, 5 May 2018 10:47:41 -0400
> Cc: Eli Zaretskii <address@hidden>, Glenn Morris <address@hidden>, Emacs
> developers <address@hidden>
>
> > If --no-info is given, please also change make-dist so that it does not
> > invoke 'make --question info' or 'make info'.
>
> I think Eli is suggesting the opposite
Yes. I think it makes more sense to try and then go ahead if
production of Info files fails. It's not a strong opinion, though.
- 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, 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 <=
- 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