Chris@14: # Makefile for P2R
Chris@14: 
Chris@14: dist: clean
Chris@14: 	mkdir dist && tar czvf dist/urispace.tar.gz ../urispace/urispace.pl ../urispace/run.pl ../urispace/mapping.pl ../urispace/config.pl ../urispace/classical_mapping.pl ../urispace/log.pl ../urispace/Makefile ../urispace/gpl.txt
Chris@14: 
Chris@14: clean:
Chris@14: 	rm -rdf dist/
Chris@14: 
Chris@14: 
Chris@14: