
# EDIT THE FOLLOWING by replacing the directory with your ACL2 distributed
# books directory.  You are welcome to omit this line, or not as you prefer, in
# your contribution.

ACL2_SYSTEM_BOOKS = ../../../../..
ACL2 ?= ../../../../../../saved_acl2
include ${ACL2_SYSTEM_BOOKS}/Makefile-subdirs

DIRS = network departure routecontrol datalink flowcontrol router process genoc
