Subject: Re: [PATCH/RFC 1/4] git-mw: Introduction of GitMediawiki.pm

From: Matthieu Moy <[email-masked]>
Date: Thu, 13 Jun 2013 13:44:40 +0200

[email-masked] writes:

> +install_pm:
> +	cp $(GIT_MEDIAWIKI_PM) $(INSTLIBDIR)

Better use "install", which is roughly like "cp".

Also, this fails if the target dir does not exist, ie. if one did not
run "make install" at the toplevel Git. It's OK, but perhaps you should
add a comment in the Makefile like '# Run "make install" from Git's
toplevel before using this'.

-- 
Matthieu Moy
http://www-verimag.imag.fr/~moy/