INCLUDES = $(OTTDIR)/hol

all: $(DEFAULT_TARGETS)
.PHONY: all
