# Note that subdirectory des/ is intended only for HONS, and is
# handled separately in ../Makefile.
DIRS = util jfkr suite-b
include ../Makefile-subdirs
