- **Changed:**
  Adding the possibility in coq_makefile to directly set the installation folders,
  through the :n:`COQLIBINSTALL` and :n:`COQDOCINSTALL` variables.
  See :ref:`coqmakefilelocal`.
  (`#12389 <https://github.com/coq/coq/pull/12389>`_, by Martin Bodin, review of Enrico Tassi).