Re: Installation of PDF/PS/DVI and HTML files

2015-12-03 Thread Greg Wooledge
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 standard for "make" followed "mak

Installation of PDF/PS/DVI and HTML files

2015-12-03 Thread Ludovic Courtès
Hello, Akira of Debian noticed that ‘make all’ rebuilds and install PDF/PS/DVI/HTML documentation by default, which prevents default Bash builds from being bit-reproducible¹. Given that the GCS suggests installing only the Info version of the manual by default (info "(standards) Standard Targets"

Installation of PDF/PS/DVI and HTML files

2015-12-03 Thread Ludovic Courtès
Hello, Akira of Debian noticed that ‘make all’ rebuilds and install PDF/PS/DVI/HTML documentation by default, which prevents default Bash builds from being bit-reproducible¹. Given that the GCS suggests installing only the Info version of the manual by default (info "(standards) Standard Targets"