Make the Makefile mv man pages instead of cp them from help_doc, because help_doc is about to be deleted

This commit is contained in:
ridiculousfish 2013-01-03 10:58:08 -08:00
parent 15da4aaec7
commit f73caeb6a3

View file

@ -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
#