# $Id: Makefile.inc 1975 2007-09-21 16:39:24Z peter $

EXTRA_DIST += tools/re2c/Makefile.inc
EXTRA_DIST += tools/genperf/Makefile.inc

include tools/re2c/Makefile.inc
include tools/genperf/Makefile.inc