Skip to content

Revert "Use make automatic variables to install updated manuals"

Ondřej Surý requested to merge 543-revert-!553-v9.11 into v9_11

This reverts commit 77e9d82e.

Merge request reports