|
From: | Glenn Morris |
Subject: | Re: master 7b1026c: * make-dist: Don't fail if building --without-makeinfo. |
Date: | Fri, 04 May 2018 11:48:18 -0400 |
User-agent: | Gnus (www.gnus.org), GNU Emacs (www.gnu.org/software/emacs/) |
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.
[Prev in Thread] | Current Thread | [Next in Thread] |