diff --git a/Makefile.in b/Makefile.in
index 053244a95..9f92ed37f 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -490,7 +490,7 @@ share/man: $(HELP_SRC)
 	touch share/man
 	-rm -r help_doc
 	./build_tools/build_documentation.sh
-	cp help_doc/man/man1/*.1 share/man
+	mv help_doc/man/man1/*.1 share/man
 	rm -r help_doc
 
 #