From ee6e6eec050a38d9e795df86fa7a45ca313f8845 Mon Sep 17 00:00:00 2001
From: Vincent Sanders <vince@netsurf-browser.org>
Date: Sat, 25 May 2013 22:46:27 +0100
Subject: move options include

---
 gtk/gui.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'gtk/gui.c')

diff --git a/gtk/gui.c b/gtk/gui.c
index 832d79e6e..3408bb9ac 100644
--- a/gtk/gui.c
+++ b/gtk/gui.c
@@ -49,7 +49,7 @@
 #include "desktop/gui.h"
 #include "desktop/history_global_core.h"
 #include "desktop/netsurf.h"
-#include "desktop/options.h"
+#include "utils/nsoption.h"
 #include "desktop/save_complete.h"
 #include "desktop/save_pdf/pdf_plotters.h"
 #include "desktop/searchweb.h"
@@ -241,7 +241,7 @@ nsgtk_init_glade(char **respath)
 	widWarning = GTK_WIDGET(gtk_builder_get_object(gladeWarning, "labelWarning"));
 }
 
-/* Documented in desktop/options.h */
+/* Documented in utils/nsoption.h */
 void gui_options_init_defaults(void)
 {
 	char *hdir = getenv("HOME");
-- 
cgit v1.2.3