Re: 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

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

2015-12-06 Thread Ludovic Courtès
Chet Ramey skribis: > On 12/3/15 6:05 AM, Ludovic Courtès wrote: [...] >> In addition, the ‘install’ rule in doc/Makefile.in would need to be >> split in ‘install-info’, ‘install-pdf’, etc. (as explained in the GCS), >> with ‘install’ depending only on ‘install-info’. > > Again, that's not quit

Re: 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"

Re: 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? >

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

2015-12-05 Thread Chet Ramey
On 12/3/15 6:05 AM, Ludovic Courtès wrote: > 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¹. This isn't completely accurate, since `make all' doesn't install anyt

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

2015-12-04 Thread Mathieu Lirzin
Hi, Linda Walsh writes: > Mathieu Lirzin wrote: >> Greg Wooledge writes: >>> The de facto standard for "make" followed "make install" on a >>> _Unix_-like system is to install man pages. >> >> For more _GNU_ standards [_emphasis_ mine] > --- > Notice you are comparing 'GNU' (new) s

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

2015-12-04 Thread Linda Walsh
Mathieu Lirzin wrote: Hi, Greg Wooledge writes: 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 suggestio

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

2015-12-04 Thread Mathieu Lirzin
Hi, Greg Wooledge writes: > 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. It would

Re: 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

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