[gtksourceview] GTK-Doc: rename gtksourceview-docs.sgml -> .xml

[SÃbastien Wilmet <swilmet src gnome org>]

commit d177adbd04233988a2519f5697fa96799f66bddd
Author: SÃbastien Wilmet <swilmet gnome org>
Date:   Mon Dec 17 23:43:15 2012 +0100

    GTK-Doc: rename gtksourceview-docs.sgml -> .xml
    
    And remove --ignore-files from MKDB_OPTIONS, because no files in
    GtkSourceView is named "trio".

 docs/reference/Makefile.am                         |    6 +++---
 ...sourceview-docs.sgml => gtksourceview-docs.xml} |    0
 2 files changed, 3 insertions(+), 3 deletions(-)
---
diff --git a/docs/reference/Makefile.am b/docs/reference/Makefile.am
index ddbbc17..ce22d49 100644
--- a/docs/reference/Makefile.am
+++ b/docs/reference/Makefile.am
@@ -7,8 +7,8 @@ AUTOMAKE_OPTIONS = 1.7
 # The name of the module.
 DOC_MODULE = gtksourceview-3.0
 
-# The top-level SGML file.
-DOC_MAIN_SGML_FILE = gtksourceview-docs.sgml
+# The top-level XML file (SGML in the past).
+DOC_MAIN_SGML_FILE = gtksourceview-docs.xml
 
 # Extra options to supply to gtkdoc-scan
 SCAN_OPTIONS = --deprecated-guards='GTKSOURCEVIEW_DISABLE_DEPRECATED'
@@ -57,7 +57,7 @@ update-sections: $(HFILE_GLOB)
 	mv $(DOC_MODULE)-sections.txt.old $(DOC_MODULE)-sections.txt
 
 # Extra options to supply to gtkdoc-mkdb
-MKDB_OPTIONS = --sgml-mode --output-format=xml --ignore-files=trio
+MKDB_OPTIONS = --xml-mode --output-format=xml
 
 # Images to copy into HTML directory
 HTML_IMAGES =
diff --git a/docs/reference/gtksourceview-docs.sgml b/docs/reference/gtksourceview-docs.xml
similarity index 100%
rename from docs/reference/gtksourceview-docs.sgml
rename to docs/reference/gtksourceview-docs.xml