[Olena-patches] [PATCH 10/12] Adjust Milena's top-level Makefile w.r.t the pretty-check target.