More forgiving make install
authorAdam Chlipala <adamc@hcoop.net>
Sat, 16 Dec 2006 22:11:37 +0000 (22:11 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Sat, 16 Dec 2006 22:11:37 +0000 (22:11 +0000)
commit76bad1b276ea45c07489dfbf0ec45a17f42f5a85
tree67978b79081cb0390e25128884837639523c74eb
parent44a5ce2fefb401654d7578db21f7e4e88b60b851
More forgiving make install
Makefile