bug-bash
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Installation of PDF/PS/DVI and HTML files


From: Ludovic Courtès
Subject: Installation of PDF/PS/DVI and HTML files
Date: Thu, 03 Dec 2015 13:08:13 +0200
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/24.5 (gnu/linux)

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"), what about a
change along the lines of the patch below?

--- a/doc/Makefile.in
+++ b/doc/Makefile.in
@@ -146,9 +146,9 @@ BASHREF_FILES = $(srcdir)/bashref.texi $(srcdir)/fdl.texi 
$(srcdir)/version.texi
        ${RM} $@
        -${DVIPS} $<
 
-all: ps info dvi text html
+all: info
 nodvi: ps info text html
-everything: all pdf
+everything: all pdf dvi text html
 
 PSFILES = bash.ps bashbug.ps article.ps builtins.ps rbash.ps 
 DVIFILES = bashref.dvi bashref.ps
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’.

What do you think?

Thanks,
Ludo’.

¹ https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=806945

reply via email to

[Prev in Thread] Current Thread [Next in Thread]