diff --git a/gtk/gtkbutton.c b/gtk/gtkbutton.c
index 82c253b7ec..fac2984d66 100644
--- a/gtk/gtkbutton.c
+++ b/gtk/gtkbutton.c
@@ -727,8 +727,6 @@ gtk_button_clicked (GtkButton *button)
  * Sets the relief style of the edges of the given #GtkButton widget.
  * Two styles exist, %GTK_RELIEF_NORMAL and %GTK_RELIEF_NONE.
  * The default style is, as one can guess, %GTK_RELIEF_NORMAL.
- * The deprecated value %GTK_RELIEF_HALF behaves the same as
- * %GTK_RELIEF_NORMAL.
  */
 void
 gtk_button_set_relief (GtkButton      *button,
diff --git a/gtk/gtkenums.h b/gtk/gtkenums.h
index 5f78da2cfb..b4ef057b75 100644
--- a/gtk/gtkenums.h
+++ b/gtk/gtkenums.h
@@ -380,7 +380,6 @@ typedef enum
 /**
  * GtkReliefStyle:
  * @GTK_RELIEF_NORMAL: Draw a normal relief.
- * @GTK_RELIEF_HALF: A half relief. Deprecated in 3.14, does the same as @GTK_RELIEF_NORMAL
  * @GTK_RELIEF_NONE: No relief.
  *
  * Indicated the relief to be drawn around a #GtkButton.
@@ -388,7 +387,6 @@ typedef enum
 typedef enum
 {
   GTK_RELIEF_NORMAL,
-  GTK_RELIEF_HALF,
   GTK_RELIEF_NONE
 } GtkReliefStyle;