Index: server/common/oursrc/lockeradm/mrproper
===================================================================
--- server/common/oursrc/lockeradm/mrproper	(revision 36)
+++ server/common/oursrc/lockeradm/mrproper	(revision 56)
@@ -1,5 +1,5 @@
 #!/bin/sh
 
-rm -f signup-scripts-frontend
-rm -f configure config.* Makefile admof signup-scripts-backend
+rm -f signup-scripts-frontend admof signup-scripts-backend
+rm -f configure config.* Makefile
 rm -rf auto*.cache