Merge pull request #249 from libtom/remove-artifacts

remove some historical artifacts

Author: sjaeckel

makefile

@@ -120,9 +120,6 @@ coveralls: lcov
 docdvi poster docs mandvi manual:
 	$(MAKE) -C doc/ $@ V=$(V)
 
-pretty:
-	perl pretty.build
-
 .PHONY: pre_gen
 pre_gen:
 	mkdir -p pre_gen