--- /dev/null
+#!/usr/bin/python
+#
+# Convert a file with a sequence of data values to a CDF ready for gnuplot.
+
+import sys
+
+data = [float(s.strip()) for s in sys.stdin]
+data.sort()
+
+for i in range(len(data)):
+ sys.stdout.write("%s\t%s\n" % ((i + 1.0) / len(data), data[i]))