Title: [102676] trunk/Tools
Revision
102676
Author
[email protected]
Date
2011-12-13 05:39:49 -0800 (Tue, 13 Dec 2011)

Log Message

Unreviewed. Fix GTK+ API docs build.

* gtk/generate-gtkdoc:
(get_webkit2_options): Ignore WebKitUIClient since it's private
API.

Modified Paths

Diff

Modified: trunk/Tools/ChangeLog (102675 => 102676)


--- trunk/Tools/ChangeLog	2011-12-13 13:31:55 UTC (rev 102675)
+++ trunk/Tools/ChangeLog	2011-12-13 13:39:49 UTC (rev 102676)
@@ -1,3 +1,11 @@
+2011-12-13  Carlos Garcia Campos  <[email protected]>
+
+        Unreviewed. Fix GTK+ API docs build.
+
+        * gtk/generate-gtkdoc:
+        (get_webkit2_options): Ignore WebKitUIClient since it's private
+        API.
+
 2011-12-13  Kenichi Ishibashi  <[email protected]>
 
         Reviewed, removed one of my email addresses to use the apprpriate one.

Modified: trunk/Tools/gtk/generate-gtkdoc (102675 => 102676)


--- trunk/Tools/gtk/generate-gtkdoc	2011-12-13 13:31:55 UTC (rev 102675)
+++ trunk/Tools/gtk/generate-gtkdoc	2011-12-13 13:39:49 UTC (rev 102676)
@@ -60,6 +60,7 @@
                    ' -I' + src_path(),
         'ignored_files': glob.glob(src_path('*Private.h')) + \
                          glob.glob(src_path('PageClientImpl.*')) + \
+                         glob.glob(src_path('WebKitUIClient.*')) + \
                          glob.glob(src_path('tests/*.h'))
     })
     return (common.build_path('Source', 'WebKit2', 'webkit2gtk-3.0.pc'), options)
_______________________________________________
webkit-changes mailing list
[email protected]
http://lists.webkit.org/mailman/listinfo.cgi/webkit-changes

Reply via email to