log TOOLS/realcodecs/Makefile @ 20418:5b26bde0cd10

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.