Skip to content

Revert "Use make automatic variables to install updated manuals"

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

This reverts commit 85deed80.

Merge request reports