tools/Makefile.inc


1
2
3
4
5
6
7
8
9

# $Id$

EXTRA_DIST += tools/re2c/Makefile.inc
EXTRA_DIST += tools/gap/Makefile.inc
EXTRA_DIST += tools/python-yasm/Makefile.inc

include tools/re2c/Makefile.inc
include tools/gap/Makefile.inc
include tools/python-yasm/Makefile.inc