all: ksi.info

ksi.info: ksi.texi
	makeinfo ksi.texi

t: all
	pinfo -r ksi.info
