X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fhelper.h;h=7bf84d472ff5726596d5a2318ab82d79c16ac5cd;hb=b4dd1916b76c26b631330a6da615af4433360da4;hp=6ca188fc57779c38674079e24cce19e44740f509;hpb=356c1209257f91eb08791e6b9ca72393fca6fcd0;p=pspp-builds.git

diff --git a/src/ui/gui/helper.h b/src/ui/gui/helper.h
index 6ca188fc..7bf84d47 100644
--- a/src/ui/gui/helper.h
+++ b/src/ui/gui/helper.h
@@ -41,6 +41,9 @@ GtkWidget * get_widget_assert (GladeXML *xml, const gchar *name);
 char * pspp_locale_to_utf8 (const gchar *text, gssize len, GError **err);
 
 
-void connect_help (GladeXML *xml);
+void connect_help (GladeXML *);
+
+void reference_manual (GtkMenuItem *, gpointer);
+
 
 #endif