diff -r 1193fa987c7a -r 22590956d131 Makefile
--- a/Makefile	Thu Jan 05 17:46:44 2006 -0500
+++ b/Makefile	Thu Jan 05 17:46:47 2006 -0500
@@ -3,7 +3,7 @@
 # No final slash here!
 # It will mess up rsync behavior.
 TOP=`pwd`
-TARGETS=couleurs colors jjch credo
+TARGETS=couleurs colors jjch credo dri-aido jdrdef jdrl
 UPDATE_FILES=$(TARGETS) index.en.html index.fr.html
 SRC_DIR=`pwd`
 INSTALL_DIR=$(TOP)/install