%s

# HG changeset patch # User Rob Landley # Date 1186689922 18000 # Node ID 31787234d02149f87bcd19754cd2dc47c9f32508 # Parent 6b8d10c36bff7746f3bf97c81128a7bbd45ec7d2 Add a script to convert 00-INDEX files to index.html, and add comments. diff -r 6b8d10c36bff -r 31787234d021 make/docdiridx.py --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/make/docdiridx.py Thu Aug 09 15:05:22 2007 -0500 @@ -0,0 +1,34 @@ +#!/usr/bin/python + +# Convert kernel Documentation/.../00-INDEX to index.html + +import os,sys + +if len(sys.argv)==1: + print "Usage: docdiridx.py `find Documentation -name 00-INDEX`" + sys.exit(1) + +for name in sys.argv[1:]: + # Read input + + name = "/".join(name.split("/")[:-1]) + lines = open("%s/00-INDEX" % name).read() + + # Open output, write header and

 section (if any)
+  out = open("%s/index.html" % name, "w")
+  out.write("\n%s\n\n\n" % sys.argv[1])
+  lines = lines.split("00-INDEX",1)
+  if lines[0]: out.write("%s\n" % lines[0])
+  lines = lines[1].split("\n")
+  lines = map(lambda a: a.strip(), lines)
+  lines[0] = "00-INDEX"
+
+  idx = 0
+  while idx%s %s\n' % (lines[idx], lines[idx], lines[idx+1]))
+    idx += 2
+  out.write("\n\n\n")
+
diff -r 6b8d10c36bff -r 31787234d021 make/fixlinks.py
--- a/make/fixlinks.py	Fri Aug 03 20:12:51 2007 -0500
+++ b/make/fixlinks.py	Thu Aug 09 15:05:22 2007 -0500
@@ -1,5 +1,8 @@
 #!/usr/bin/python
 
+# Convert the absolute paths in the symlinks of manlifter's html translation
+# of the man-pages into portable relative paths.
+
 import os, sys
 
 for i in sys.argv[1:]: