Prettify make output for documentation