# $Id: Makefile 831 2020-06-04 18:07:54Z karl $
# Public domain.

include ../Common.mak

default: test-different-levels

test-different-levels:
	$(prog) test-different-levels.tex

clean:
	$(clean)
