#!/usr/bin/make -f
include /usr/share/cdbs/1/rules/debhelper.mk

build:
	TPTP=$$PWD TPTP2X/tptp2X_install -default
	sed --in-place "s:$$PWD:/usr/share/TPTP:" TPTP2X/tptp2X; done