kpfigures_DATA = *.png

kpfiguresdir = $(figuresdir)/kernel-pae

EXTRA_DIST = $(kpfigures_DATA)