2008-01-22 Christian Dywan <christian@imendio.com>
[WebKit-https.git] / WebKit / gtk / WebView / headers.pri
index db0cc5a5e2fa323fccf0bad5c7c46947341df8c9..e99765a22dcaf30c4d4ec533fd49d6e885dd1da5 100644 (file)
@@ -1,6 +1,6 @@
 WEBKIT_API_HEADERS = $$PWD/webkit.h \
                      $$PWD/webkitdefines.h \
 WEBKIT_API_HEADERS = $$PWD/webkit.h \
                      $$PWD/webkitdefines.h \
-                     $$PWD/webkitglobal.h \
                      $$PWD/webkitnetworkrequest.h \
                      $$PWD/webkitwebframe.h \
                      $$PWD/webkitnetworkrequest.h \
                      $$PWD/webkitwebframe.h \
+                     $$PWD/webkitwebsettings.h \
                      $$PWD/webkitwebview.h
                      $$PWD/webkitwebview.h