D35112.1789131885.diff
No OneTemporary
Actions

Size

1 KB

Referenced Files

None

Subscribers

None

D35112.1789131885.diff
View Options

	diff --git a/documentation/content/en/articles/committers-guide/_index.adoc b/documentation/content/en/articles/committers-guide/_index.adoc
	--- a/documentation/content/en/articles/committers-guide/_index.adoc
	+++ b/documentation/content/en/articles/committers-guide/_index.adoc
	@@ -3731,7 +3731,6 @@
	* Remove the port's files and directory with `git rm`.
	* Remove the `SUBDIR` listing of the port in the parent directory [.filename]#Makefile#.
	* Add an entry to [.filename]#ports/MOVED#.
	-* Search for entries in [.filename]#ports/security/vuxml/vuln.xml# and adjust them accordingly. In particular, check for previous packages with the new name which version could include the new port.
	* Remove the port from [.filename]#ports/LEGAL# if it is there.
	====

	@@ -3747,6 +3746,7 @@
	. Perform a thorough check of the ports collection for any dependencies on the old port location/name, and update them. Running `grep` on [.filename]#INDEX# is not enough because some ports have dependencies enabled by compile-time options. A full man:git-grep[1] of the ports collection is recommended.
	. Remove the `SUBDIR` entry from the old category Makefile and add a `SUBDIR` entry to the new category Makefile.
	. Add an entry to [.filename]#ports/MOVED#.
	+. Search for entries in xml files inside [.filename]#ports/security/vuxml# and adjust them accordingly. In particular, check for previous packages with the new name which version could include the new port.
	. Move the port with `git mv`.
	. Commit the changes.
	====