# HG changeset patch # User Rob Landley # Date 1304363735 18000 # Node ID 09c09067584c85f7e7784387fca8e94e2924853f # Parent 01b77829d010c7de89cda34bc8357d6af0db2ea7 Better error reporting for 00-INDEX files that don't list themselves. diff -r 01b77829d010 -r 09c09067584c make/docdiridx.py --- a/make/docdiridx.py Sat Feb 19 21:32:24 2011 -0600 +++ b/make/docdiridx.py Mon May 02 14:15:35 2011 -0500 @@ -11,10 +11,14 @@ lines = open("%s/00-INDEX" % dir[0]).read() + lines = lines.split("00-INDEX",1) + if len(lines)==1: + print "FAILED %s" % dir[0] + continue + # Open output, write header and
 section (if any)
   out = open("%s/index.html" % dir[0], "w")
   out.write("\n%s\n\n