Re: PATCH: remove config.{guess,sub} man pages

2016-02-06 Thread Paul Eggert
Ben Elliston wrote: https://lists.gnu.org/archive/html/autoconf-patches/2015-11/msg0.html Thanks, I installed that.

Re: PATCH: remove config.{guess,sub} man pages

2016-02-06 Thread Ben Elliston
Ping? https://lists.gnu.org/archive/html/autoconf-patches/2015-11/msg0.html Thanks, Ben signature.asc Description: Digital signature

Re: PATCH: remove config.{guess,sub} man pages

2015-12-09 Thread Ben Elliston
On Thu, Dec 10, 2015 at 06:32:26AM +0100, Pavel Raiskup wrote: > after this patch -- the manual pages are not installed with autoconf > anymore (I tried 'make install'). Is that expected? If yes, how > are the manual pages supposed to be installed? That's correct. The man pages belong with

Re: PATCH: remove config.{guess,sub} man pages

2015-12-09 Thread Pavel Raiskup
Hi Ben, On Wednesday 25 of November 2015 21:09:39 Ben Elliston wrote: > Remove config.{guess,sub} man pages. These are now kept in the master > source tree for config.{guess,sub}. after this patch -- the manual pages are not installed with autoconf anymore (I tried 'make install'). Is that

PATCH: remove config.{guess,sub} man pages

2015-11-25 Thread Ben Elliston
Remove config.{guess,sub} man pages. These are now kept in the master source tree for config.{guess,sub}. Thanks, Ben --- man/config.guess.x | 24 man/config.sub.x | 4 man/local.mk | 8 +--- 3 files changed, 1 insertion(+), 35 deletions(-) delete