log TOOLS/realcodecs/Makefile @ 21209:03cd07c3c8de

age author description
Tue, 19 Sep 2006 14:17:59 +0000 diego Remove just the targets, not the original codecs.
Mon, 18 Sep 2006 14:27:35 +0000 diego Replace silly compilation shell scripts by a simple Makefile.