# HG changeset patch # User Fabien Ninoles # Date 1442774466 14400 # Node ID dc2252620c0204cbe67944ddadf374c1898ef120 # Parent ce4faf661fca545f8432eb2c6c5940ec761d9c75# Parent 78ac9176f4ef36cfe9cd1aa3795535f9a2242129 Merge. diff -r ce4faf661fca -r dc2252620c02 Makefile --- a/Makefile Sun Sep 20 14:39:52 2015 -0400 +++ b/Makefile Sun Sep 20 14:41:06 2015 -0400 @@ -31,3 +31,4 @@ purge: +.PHONY: install