Add a tip about using git grep when removing a port.

Sponsored by:	Absolight
This commit is contained in:
Mathieu Arnold 2016-08-16 15:05:08 +00:00
parent 6480a72910
commit b0ecf6583e
Notes: svn2git 2020-12-08 03:00:23 +00:00
svn path=/head/; revision=49294

View file

@ -4111,6 +4111,13 @@ Relnotes: yes</programlisting>
<para>No other ports should contain any reference
to the port's directory or PKGNAME in their
Makefiles</para>
<tip>
<para>When using <application>Git</application>,
consider using <command>git grep</command>, it
is much faster than <command>grep
-r</command>.</para>
</tip>
</listitem>
</itemizedlist>
</listitem>