dist:
	makedist.sh

install:
	makedist.sh --install

clean:
	rm p? *.hdf *.rtp 2> /dev/null || true