# Below are the directories containing books to be certified.

# The following do not have any certifiable books:
# 

DIRS =  cowles-flat/support \
	cowles-primrec/support \
	kaufmann-sumners/support \
	manolios-kaufmann/support \
	martin-alonso-hidalgo-ruiz/support \
	martin-alonso-perez-sancho/support \
	medina-palomo-alonso/support \
	ray-sumners/support \
	ruiz-alonso-hidalgo-martin-dags/support \
	ruiz-alonso-hidalgo-martin-theory-terms/support

include ../../Makefile-psubdirs

tar: clean
	@for dir in $(DIRS) ; \
	do \
	tar cvf $$dir.tar $$dir ; \
	done
