Switch to the xml backend of gtk-doc tools since it looks like the way to go

[simgrid.git] / cruft / doc / overview.xml

diff --git a/cruft/doc/overview.sgml b/cruft/doc/overview.xml
similarity index 100%
rename from cruft/doc/overview.sgml
rename to cruft/doc/overview.xml