Groups > gnu.bash.bug > #11941

Installation of PDF/PS/DVI and HTML files

From	ludo@gnu.org (Ludovic Courtès)
Newsgroups	gnu.bash.bug
Subject	Installation of PDF/PS/DVI and HTML files
Date	2015-12-03 13:05 +0200
Message-ID	<mailman.1221.1449154999.31583.bug-bash@gnu.org> (permalink)

Show all headers | View raw

[Multipart message — attachments visible in raw view] - view raw

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?

Back to gnu.bash.bug | Previous | Next | Find similar

Thread

Installation of PDF/PS/DVI and HTML files ludo@gnu.org (Ludovic Courtès) - 2015-12-03 13:05 +0200

csiph-web