path: root/doc/changelog/08-tools/11068-coqbin-noslash.rst

- **Fixed:** ``coq_makefile`` now supports environment variable ``COQBIN`` with
  no ending ``/`` character (`#11068
  <https://github.com/coq/coq/pull/11068>`_, by Gaëtan Gilbert).