path: root/doc/changelog/08-tools/12006-issue5632.rst

- **Added:**
  ``Makefile`` generated by ``coq_makefile`` erases ``.lia.cache`` and ``.nia.cache`` by ``make cleanall``.
  (`#12006 <https://github.com/coq/coq/pull/12006>`_,
  by Olivier Laurent).