# DIRS = common y86 py86
DIRS = common y86
include /projects/acl2/devel/books/Makefile-subdirs
