File devhelp-prototype.patch of Package devhelp

Index: devhelp-2.31.92/src/dh-util.h
===================================================================
--- devhelp-2.31.92.orig/src/dh-util.h
+++ devhelp-2.31.92/src/dh-util.h
@@ -49,8 +49,8 @@ void         dh_util_state_manage_notebo
 void         dh_util_state_set_notebook_page_name (GtkWidget   *page,
                                                    const gchar *page_name);
 const gchar *dh_util_state_get_notebook_page_name (GtkWidget   *page);
-GSList *     dh_util_state_load_disabled_books    (void);
-void         dh_util_state_store_disabled_books   (GSList *disabled_books);
+GSList *     dh_util_state_load_books_disabled    (void);
+void         dh_util_state_store_books_disabled   (GSList *disabled_books);
 
 void         dh_util_font_get_variable            (gchar        **name,
                                                    gdouble       *size,