diff --git a/docs/DEVELOPERS.md b/docs/DEVELOPERS.md index b1f49bb..c182983 100644 --- a/docs/DEVELOPERS.md +++ b/docs/DEVELOPERS.md @@ -131,7 +131,14 @@ these will need to be corrected by translators. The package maintainer should run through these steps for a new release: - * Check for patches and bug reports at https://tracker.debian.org/pkg/pv + * Check for patches and bug reports: + * + * + * + * + * + * + * * Run "`make indent; make indent indentclean check`" * Run "`make -C po update-po`" * Run "`make analyse`" and see whether remaining warnings can be addressed