diff options
| -rwxr-xr-x | Tools/scripts/addport | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Tools/scripts/addport b/Tools/scripts/addport index 68624cddd906..15d0d49381dd 100755 --- a/Tools/scripts/addport +++ b/Tools/scripts/addport @@ -454,7 +454,7 @@ print <<EOF; You're done! The new port $portname has been completely imported in the tree. Don't forget to add the creator's name and email address to the Contributors' List if they are not already there. To do this, edit -doc/head/en_US.ISO8859-1/articles/contributors/contrib.additional.sgml. +doc/head/en_US.ISO8859-1/articles/contributors/contrib.additional.xml. EOF sub warnx($) { |