diff --git a/docs/DEVELOPERS.md b/docs/DEVELOPERS.md
index e175f08..7b7bdd9 100644
--- a/docs/DEVELOPERS.md
+++ b/docs/DEVELOPERS.md
@@ -146,6 +146,7 @@ The package maintainer should run through these steps for a new release:
*
*
* Run "`make indent; make indent indentclean check`"
+ * Check that `po/POTFILES.in` is up to date
* Run "`make -C po update-po`"
* Run "`make analyse`" and see whether remaining warnings can be addressed
* Version bump and documentation checks:
diff --git a/po/POTFILES.in b/po/POTFILES.in
index c461d09..22c3406 100644
--- a/po/POTFILES.in
+++ b/po/POTFILES.in
@@ -4,8 +4,10 @@ src/main/main.c
src/main/options.c
src/main/remote.c
src/main/version.c
+src/pv/calc.c
src/pv/cursor.c
src/pv/display.c
+src/pv/elapsedtime.c
src/pv/file.c
src/pv/loop.c
src/pv/number.c