cleanup

[helm.git] / matita / dep2dot.rb

diff --git a/matita/dep2dot.rb b/matita/dep2dot.rb
deleted file mode 100755 (executable)
index 813b2af..0000000
--- a/matita/dep2dot.rb
+++ /dev/null
@@ -1,30 +0,0 @@
-#!/usr/bin/ruby -w
-# filter converting from .depend to .dot
-# tested on .depend generated by ocamldep
-# $Id$
-
-require 'set'
-
-edges = Set.new
-$stdin.each {|line|
-  target, deps = line.split(/\s*:\s*/)
-  while deps =~ /\\\s*$/  # deal with lines continued with trailing \
-    deps.sub!(/\s*\\\s*$/, '')
-    line = $stdin.readline
-    deps += ' ' + line.lstrip
-  end
-  sources, targets = target.split, deps.split
-  for src in sources
-    for tgt in targets # ignore file extensions
-      src.sub!(/\.[^.]+/, '')
-      tgt.sub!(/\.[^.]+/, '')
-      edges << [src, tgt] unless src == tgt   # ignore self deps
-    end
-  end
-}
-puts 'digraph G {'
-for src, tgt in edges
-  print "\"#{src}\" -> \"#{tgt}\";\n"
-end
-puts '}'
-