Re: [PATCH/RFC 1/4] git-mw: Introduction of GitMediawiki.pm
From: Matthieu Moy <hidden>
Date: 2016-06-15 22:57:43
benoit.person@ensimag.fr 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/