De-duplicate directories with the same name, like "/etc" and "/etc/"
[febootstrap.git] / html /
2010-12-07 Richard W.M. JonesAdd HTML documentation to the public website.