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.
Actions