Bug#806945: Installation of PDF/PS/DVI and HTML files

2015-12-06 Thread Chet Ramey
On 12/6/15 4:18 PM, Ludovic Courtès wrote: >>> As Mathieu wrote, I am of course fine installing man and Info manuals by >>> default, like GNU packages generally do. >>> >>> The suggestion I make is to not install PDF/PS/DVI and HTML files by >>> default. >> >> Again, only the HTML files are inst

Bug#806945: Installation of PDF/PS/DVI and HTML files

2015-12-06 Thread Ludovic Courtès
Chet Ramey skribis: > On 12/4/15 4:24 AM, Ludovic Courtès wrote: >> Greg Wooledge skribis: >> >>> On Thu, Dec 03, 2015 at 01:08:13PM +0200, Ludovic Courtès wrote: Given that the GCS suggests installing only the Info version of the manual by default (info "(standards) Standard Targets"

Bug#806945: Installation of PDF/PS/DVI and HTML files

2015-12-05 Thread Chet Ramey
On 12/4/15 4:24 AM, Ludovic Courtès wrote: > Greg Wooledge skribis: > >> On Thu, Dec 03, 2015 at 01:08:13PM +0200, Ludovic Courtès wrote: >>> Given that the GCS suggests installing only the Info version of the >>> manual by default (info "(standards) Standard Targets") >> >>> What do you think? >

Bug#806945: Installation of PDF/PS/DVI and HTML files

2015-12-04 Thread Ludovic Courtès
Greg Wooledge skribis: > On Thu, Dec 03, 2015 at 01:08:13PM +0200, Ludovic Courtès wrote: >> Given that the GCS suggests installing only the Info version of the >> manual by default (info "(standards) Standard Targets") > >> What do you think? > > I think that's a stupid suggestion. The de facto