Place the Makefile highlighting script alongside the make support script

This commit is contained in:
Frank LENORMAND 2016-09-25 09:19:56 +03:00
parent 7d51dca290
commit b26d083627