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

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

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