diff --git a/en_US.ISO8859-1/books/porters-handbook/book.sgml b/en_US.ISO8859-1/books/porters-handbook/book.sgml index 94a316f7a5..8c1adae05d 100644 --- a/en_US.ISO8859-1/books/porters-handbook/book.sgml +++ b/en_US.ISO8859-1/books/porters-handbook/book.sgml @@ -10419,12 +10419,24 @@ as .putsy.conf and edit it. instructions, please make sure to get the shell escaping right. - If your port is deleted or renamed, you should add an - entry to /usr/ports/MOVED. Entries in - this file use the following format: + The /usr/ports/MOVED file is used to + list moved or removed ports. Each line in the file is made + up of the name of the port, where the port was moved to, when, + and why. If the port was removed, the section detailing where + it was moved to can be left blank. Each section must be + separated by the | (pipe) character, like + so: old name|new name (blank for deleted)|date of move|reason + The date should be entered in the form YYYY- + MM-DD. New entries should be added to the end + of the file to keep it in chronological order. + + If a port was removed but has since been restored, + delete the line in this file that states that it was + removed. + The changes can be validated with Tools/scripts/MOVEDlint.awk.