After doing some radical changes in xdocs I noticed that there was
still an old index.html in build/site that was not updated because it
was no longer part of the site. It should definitely have been
removed.

--
Ferdinand Soethe

Reply via email to