include ../../Makefile-generic
BOOKS = quantification

-include Makefile-deps
