This is an automated email from the ASF dual-hosted git repository. hboutemy pushed a change to branch pr/4.0.x/align-doc-directories in repository https://gitbox.apache.org/repos/asf/maven.git
was 85800c4565 adapt documentatiion directories
The revisions that were on this branch are still contained in
other references; therefore, this change does not discard any commits
from the repository.
