--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/flax/add_sub	Sun Apr 10 15:03:24 2005 +0000
@@ -0,0 +1,22 @@
+#!/usr/bin/env python
+# usage: add_sub [-l sublevel] subname subterms_to_add_to
+
+from optparse import OptionParser
+
+parser = OptionParser()
+parser.add_option('-l', '--level', default='0')
+opts, args = parser.parse_args()
+print 'debug', opts, args
+
+sub = args.pop(0)
+print "adding '%s' at %s" % (sub, opts.level)
+
+for subterm in args:
+    print "subterm", subterm
+    print
+    filename = 'subterms/%s' % subterm
+    subs = [line.split(None, 1)[0] for line in file(filename).readlines()]
+    if sub not in subs:
+        f = file(filename, 'a')
+        print 'appended!'
+        print >>f, "%s %s" % (sub, opts.level)