diff --git a/appl/push/Makefile.am b/appl/push/Makefile.am
index 53510f574..f9d93ae66 100644
--- a/appl/push/Makefile.am
+++ b/appl/push/Makefile.am
@@ -16,6 +16,8 @@ pfrom: pfrom.in
 
 man_MANS = push.8
 
+CLEANFILES = pfrom
+
 EXTRA_DIST = pfrom.in $(man_MANS)
 
 LDADD = $(LIB_krb5) \