From f73caeb6a372bbc264f1ea2958b3bad815eff216 Mon Sep 17 00:00:00 2001 From: ridiculousfish Date: Thu, 3 Jan 2013 10:58:08 -0800 Subject: [PATCH] Make the Makefile mv man pages instead of cp them from help_doc, because help_doc is about to be deleted --- Makefile.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 #