X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fsplit-file.ui;h=ccf774e390af321b6e581bfb0528d18cdae1d1db;hb=8a6611e7e3bbba8be61cd35f8701f50d6e255e44;hp=c59700c34b9361efb51042170780880fbb6f50bf;hpb=5dbf5abcbed01f04422d4dead1c0ae0bb7efde4f;p=pspp

diff --git a/src/ui/gui/split-file.ui b/src/ui/gui/split-file.ui
index c59700c34b..ccf774e390 100644
--- a/src/ui/gui/split-file.ui
+++ b/src/ui/gui/split-file.ui
@@ -24,7 +24,7 @@
     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
     <property name="title" translatable="yes">Split File</property>
     <property name="modal">True</property>
-    <property name="help_page">SPLIT-FILE</property>
+    <property name="help-page">SPLIT-FILE</property>
     <child>
       <object class="GtkBox" id="dialog-hbox3">
         <property name="visible">True</property>