git.99rst.org / git.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: c83386d c635b05)
Merge branch 'jn/mediawiki-makefile-updates'
authorJunio C Hamano <redacted>
Thu, 5 Dec 2013 21:00:23 +0000 (13:00 -0800)
committerJunio C Hamano <redacted>
Thu, 5 Dec 2013 21:00:23 +0000 (13:00 -0800)
commit968182a49ddaeb76623f602d1674ed8e4efd1869
treee3a951acfde24a6736a308eb2b5707527797152btree | snapshot
parentc83386d14ded4968c93098d9413425ab29eb38a0commit | diff
parentc635b050e7a8873f02d739b7a739a03ba4dd8606commit | diff
Merge branch 'jn/mediawiki-makefile-updates'

Build and installation procedure clean-up.

* jn/mediawiki-makefile-updates:
  git-remote-mediawiki build: handle DESTDIR/INSTLIBDIR with whitespace
  git-remote-mediawiki build: make 'install' command configurable
  git-remote-mediawiki: honor DESTDIR in "make install"
  git-remote-mediawiki: do not remove installed files in "clean" target
contrib/mw-to-git/Makefile diff1 | diff2 | blob | history
git clone https://git.99rst.org/PROJECT