Skip to content

Handle documentation filename conflicts

Benjamin Winger requested to merge bmwinger/portmod:doc-conflicts into master

Conflicting documentation will be installed side by side with a unique filename being created for each one. File system conflicts will be detected in a case-insensitive manner with the appropriate setting.

Fixes #343 (closed).

Requires !465 (merged)

Merge request reports