Permalink
Browse files

Update Makefile

  • Loading branch information...
1 parent e39c903 commit e7ed16f1a1d628015de9cc6452143523f4ac7aaf @samoht samoht committed Aug 23, 2012
Showing with 1 addition and 0 deletions.
  1. +1 −0 Makefile
View
@@ -74,3 +74,4 @@ doc: compile
trailing:
find src -name "*.ml*" -exec \
sed -i xxx -e :a -e "/^\n*$$/{$$d;N;ba" -e '}' {} \;
+ find src -name "*xxx" -exec rm {} \;

0 comments on commit e7ed16f

Please sign in to comment.