Fix tiny Makefile bug
authorAdam Chlipala <adamc@hcoop.net>
Thu, 3 May 2007 19:45:13 +0000 (19:45 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Thu, 3 May 2007 19:45:13 +0000 (19:45 +0000)
commitac64d96d45f900309ec7e97138b2e793f40ec9f1
tree96247a9d4a97fdfc60f9f3caf47c13e362d6baba
parent6f3525e4c80e2160e0f019952f151fa0c49c053f
Fix tiny Makefile bug
Makefile