DIRS = gen-helper gen-trees brlens replete fringes build tree-manip sequences
include $(ACL2_SYSTEM_BOOKS)/Makefile-subdirs
