[devhelp] docs: rename "De-initialization" to "Finalization"

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

commit 12e9e3b6c59132049293fcad7b617b9ea5d2b267
Author: Sébastien Wilmet <swilmet gnome org>
Date:   Sat May 6 19:11:36 2017 +0200

    docs: rename "De-initialization" to "Finalization"
    
    My spell-checker didn't really like "De-initialization". I hesitated
    also with "Un-initialization". In the end "Finalization" is also clear
    and my spell-checker says it's correct.

 docs/reference/devhelp-sections.txt |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/docs/reference/devhelp-sections.txt b/docs/reference/devhelp-sections.txt
index 6e018e8..45b9da6 100644
--- a/docs/reference/devhelp-sections.txt
+++ b/docs/reference/devhelp-sections.txt
@@ -1,6 +1,6 @@
 <SECTION>
 <FILE>init</FILE>
-<TITLE>Initialization and De-initialization</TITLE>
+<TITLE>Initialization and Finalization</TITLE>
 dh_init
 dh_free_resources
 </SECTION>