Overview
Request 681312 accepted
- Only Require(Pre/Post) info in the non-mini variant: as the -mini
version is only used inside OBS, it is irrelevant if the info
files are present and registered or not.
- Only Require(Pre/Post) info in the non-mini variant: as the -mini
version is only used inside OBS, it is irrelevant if the info
files are present and registered or not.
Request History
dimstar created request
- Only Require(Pre/Post) info in the non-mini variant: as the -mini
version is only used inside OBS, it is irrelevant if the info
files are present and registered or not.
- Only Require(Pre/Post) info in the non-mini variant: as the -mini
version is only used inside OBS, it is irrelevant if the info
files are present and registered or not.
dirkmueller accepted request
To clarify: this helps reduce the bootstrap cycle, by allowing to remove texinfo from it