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

-include Makefile-deps
