Actions
Bug #8279
closed
JI
JI
build: when documentation tools are install, make dist attempt to install files to prefix
Bug #8279:
build: when documentation tools are install, make dist attempt to install files to prefix
Affected Versions:
Effort:
Difficulty:
Label:
Description
If the user happens to have documentation build tools installed, like "sphinx-build", a "make dist" will result in "make install" being run in the doc/userguide directory. This will either result in a permission denied error, or worse, files actually installed.
This is due to a commit that added "install" in EXTRA_DIST, to include the files from the install/ directory. However, this also triggers the install make target to be run.
Fix: List files in the install/ directory individually.
OT Updated by OISF Ticketbot about 2 months ago
- Subtask #8280 added
OT Updated by OISF Ticketbot about 2 months ago
- Label deleted (
Needs backport to 8.0)
JI Updated by Jason Ish about 2 months ago
JI Updated by Jason Ish about 2 months ago
- Status changed from In Review to Resolved
PA Updated by Philippe Antoine about 1 month ago
- Status changed from Resolved to Closed
Actions