On Sunday 12 August 2007 4:47:17 pm Stefan Richter wrote: > Rob Landley wrote: > > On Sunday 12 August 2007 3:17:38 pm Stefan Richter wrote: > >> - it's a little bit faster to create these headers than to add them > >> to 00-INDEX: Just move the existing title to the top. > > ... > > > What variant of "fast" do you mean? Processing the entire directory > > takes a fraction of a second on my laptop. > > I meant the speed of people, not the speed of text processors. Gotcha. Populating 00-INDEX from the first nonblank line of each file, skipping lines that are entirely punctuation, is a good suggestion. A human has to go clean up the result, but I could do this thing... :) Thanks for the suggestion. Rob -- "One of my most productive days was throwing away 1000 lines of code." - Ken Thompson. - To unsubscribe from this list: send the line "unsubscribe linux-doc" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html