--make file type... - Githubissues

ggreer / the_silver_searcher

A code-searching tool similar to ack, but faster.

http://geoff.greer.fm/ag/

Apache License 2.0

26.2k stars 1.43k forks source link

--make file type... #1516

Open panduit-joeb opened 1 year ago

panduit-joeb commented 1 year ago

The --make option looks for Makefiles... however, it's more common to use Makefile or makefile (per the GNU make manpage) for the name of a makefile. I suggest adding Makefile and makefile to the list.