diff -r 2aec82181520 -r c6be3fab4e26 Makefile
--- a/Makefile	Sun Jan 08 14:06:12 2006 -0500
+++ b/Makefile	Sun Jan 08 14:06:34 2006 -0500
@@ -3,7 +3,7 @@
 # No final slash here!
 # It will mess up rsync behavior.
 TOP=`pwd`
-TARGETS=couleurs colors jjch credo dri-aido jdrdef jdrl
+TARGETS=couleurs colors jjch credo dri-aido jdrdef jdrl resolution
 UPDATE_FILES=$(TARGETS) index.en.html index.fr.html
 SRC_DIR=`pwd`
 INSTALL_DIR=$(TOP)/install