X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fabout.c;h=e743fcf61dbfa7b8128c277b7c59e32dd4c49e9c;hb=daa89632abf5920a2d2aaa622bac44ab012e1da8;hp=949fdcdf4c2fb6222d65e03e6dd44108e2c644ab;hpb=43b1296aafe7582e7dbe6c2b6a8b478d7d9b0fcf;p=pspp

diff --git a/src/ui/gui/about.c b/src/ui/gui/about.c
index 949fdcdf4c..e743fcf61d 100644
--- a/src/ui/gui/about.c
+++ b/src/ui/gui/about.c
@@ -20,10 +20,12 @@
 #include <gtk/gtk.h>
 #include <glade/glade.h>
 
+#include <libpspp/copyleft.h>
 #include <libpspp/version.h>
 #include "about.h"
 #include "helper.h"
 
+
 const static gchar *artists[] = { "Patrick Brunier", "Dondi Bogusky", NULL};
 
 void
@@ -55,6 +57,10 @@ about_new (GtkMenuItem *m, GtkWindow *parent)
   gtk_about_dialog_set_artists (GTK_ABOUT_DIALOG (about),
 				artists);
 
+  gtk_about_dialog_set_license (GTK_ABOUT_DIALOG (about),
+				copyleft);
+
+
   gtk_window_set_transient_for (GTK_WINDOW (about), parent);
 
   gtk_window_set_modal (GTK_WINDOW (about), TRUE);