From 3c5e1f1f1cc39cd8436c7ef018783b02b38277a7 Mon Sep 17 00:00:00 2001 From: Warren Block Date: Thu, 6 Nov 2014 03:12:49 +0000 Subject: [PATCH] In the section on re-adding a deleted port, clarify what addport is and link back to the section where it is described. Also clean up some of the language in that first section. --- .../articles/committers-guide/article.xml | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/en_US.ISO8859-1/articles/committers-guide/article.xml b/en_US.ISO8859-1/articles/committers-guide/article.xml index 1e28652481..3f504c2970 100644 --- a/en_US.ISO8859-1/articles/committers-guide/article.xml +++ b/en_US.ISO8859-1/articles/committers-guide/article.xml @@ -3841,12 +3841,12 @@ Relnotes: yes First, please read the section about repository copies. - The easiest way to add a new port is to use the - addport script from your machine - (located in the ports/Tools/scripts - directory). It will add a port from the directory you - specify, determining the category automatically from the - port Makefile. It will also add an + The easiest way to add a new port is the + addport script + located in the ports/Tools/scripts + directory. It adds a port from the directory + specified, determining the category automatically from the + port Makefile. It also adds an entry to the port's category Makefile. It was written by &a.mharo.email;, &a.will.email;, and &a.garga.email;. @@ -4031,8 +4031,8 @@ Relnotes: yes - addport now detects when the - port to add has previously existed, and should handle + The addport script mentioned in now detects when the + port to add has previously existed, and attempts to handle all except the ports/LEGAL step automatically.