[devhelp] Fix the name of the gsettings key

[Debarshi Ray <debarshir src gnome org>]

commit f2da81b1262352c5c03f8cbc0cb7676428e03cb4
Author: Debarshi Ray <debarshir gnome org>
Date:   Tue Jan 6 14:51:53 2015 +0100

    Fix the name of the gsettings key
    
    https://bugzilla.gnome.org/show_bug.cgi?id=742457

 data/devhelp.convert |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/data/devhelp.convert b/data/devhelp.convert
index 70fab09..7f9c8e6 100644
--- a/data/devhelp.convert
+++ b/data/devhelp.convert
@@ -24,5 +24,5 @@ group-books-by-language=/apps/devhelp/state/main/contents/group_books_by_languag
 
 [org.gnome.devhelp.fonts]
 use-system-fonts=/apps/devhelp/fonts/use_system_fonts
-variable-fonts=/apps/devhelp/fonts/variable_font
+variable-font=/apps/devhelp/fonts/variable_font
 fixed-font=/apps/devhelp/fonts/fixed_font