docs/96639: [patch] suggestion to committer's guide that should have a description about remove ports

[Daniel Gerzo]

Hi Vasil,

Monday, May 8, 2006, 4:00:43 PM, you worte:

> The following reply was made to PR docs/96639; it has been noted by GNATS.

 >> Since `rmport' is an alternative way of removing a port, how about the
 >> following minor rewording of the above paragraph?
 >> 
 >>     <para>Alternatively, you can use the <command>rmport</command> script,
 >>       from <filename role="directory">ports/Tools/scripts</filename>.
 >>       This script has been written by &a.vd;, who is also its current
 >>       maintainer, so please send questions, patches or suggestions about
 >>       <command>rmport</command> to him.</para>
>  Sounds good.
>  
 >> 
 >> Also, is anyone going to commit the changes of this PR?  They look like
 >> a useful addition to the docs.  Let's not leave them to rot in Gnats for
 >> too long :-)
>  Well, I guess one needs a doc commit bit to do so?
>  

 keramida has one ;-)

-- 
Sincerely,
  Daniel Gerzo