On Sunday 12 August 2007 12:10:56 pm Jesper Juhl wrote: > > Isn't it with 00-INDEX just like with the "Last Updated:" footers in > > documentation texts? > > That is certainly a risk, yes. But it shouldn't be hard to write a > small script to check if the 00-INDEX files are up-to-date, that will > make it pretty simple to update them once in a while if people forget. Already done: http://marc.info/?l=linux-doc&m=118671778606001&w=2 It checks the index.html files so you have to run http://kernel.org/doc/make/docdiridx.py and then run http://kernel.org/doc/make/doclinkcheck.py afterwards. It shows you the files 00-index links to which aren't there (the 404 errors), and then the files that nothing links to. I notice that I'm not filtering out the generated index.html files, but oh well. I'll fix that... :) 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