Project

General

Profile

Actions

Bug #8279

closed

build: when documentation tools are install, make dist attempt to install files to prefix

Added by Jason Ish 27 days ago. Updated 20 days ago.

Status:
Closed
Priority:
Normal
Assignee:
Target version:
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.


Subtasks 1 (0 open1 closed)

Bug #8280: build: when documentation tools are install, make dist attempt to install files to prefix (8.0.x backport)ClosedJason IshActions
Actions #1

Updated by OISF Ticketbot 27 days ago

  • Subtask #8280 added
Actions #2

Updated by OISF Ticketbot 27 days ago

  • Label deleted (Needs backport to 8.0)
Actions #4

Updated by Jason Ish 26 days ago

  • Status changed from In Review to Resolved
Actions #5

Updated by Philippe Antoine 20 days ago

  • Status changed from Resolved to Closed
Actions

Also available in: Atom PDF