In my styling configuration, command names are printed boldly. With that, one part of the TL;DR page for the command make looks like:
You clearly see the "make" in the command line argument --always-make printed boldly too. I guess this shouldn't be the case. This fix makes sure that only command names with a preceding whitespace character are considered, which leads to:
In my styling configuration, command names are printed boldly. With that, one part of the TL;DR page for the command
makelooks like:You clearly see the "make" in the command line argument
--always-makeprinted boldly too. I guess this shouldn't be the case. This fix makes sure that only command names with a preceding whitespace character are considered, which leads to: