|
From: | Paul Eggert |
Subject: | Re: master 7b1026c: * make-dist: Don't fail if building --without-makeinfo. |
Date: | Fri, 4 May 2018 23:56:49 -0700 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.7.0 |
Noam Postavsky wrote:
So would adding a --no-info argument (as in the attached) be okay?
If --no-info is given, please also change make-dist so that it does not invoke 'make --question info' or 'make info'. Other than that it looks good; thanks. (Good catch in getting rid of that '[ -d info ]'.)
[Prev in Thread] | Current Thread | [Next in Thread] |