diff options
Diffstat (limited to 'Tools/gtk/generate-gtkdoc')
| -rwxr-xr-x | Tools/gtk/generate-gtkdoc | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Tools/gtk/generate-gtkdoc b/Tools/gtk/generate-gtkdoc index cc33c4824..88e62e750 100755 --- a/Tools/gtk/generate-gtkdoc +++ b/Tools/gtk/generate-gtkdoc @@ -88,7 +88,7 @@ def get_webkit2_options(): 'module_name' : 'webkit2gtk', 'doc_dir' : src_path('docs'), 'output_dir' : common.build_path('Documentation', 'webkit2gtk'), - 'source_dirs' : [src_path()], + 'source_dirs' : [src_path(), derived_sources_path('webkit2gtk', 'webkit2')], 'cflags' : ' -I' + derived_sources_path('webkit2gtk', 'include') + \ ' -I' + derived_sources_path('webkit2gtk') + \ ' -I' + derived_sources_path('include') + \ @@ -98,6 +98,9 @@ def get_webkit2_options(): 'ignored_files': glob.glob(src_path('*Private.h')) + \ glob.glob(src_path('*Client*')) + \ glob.glob(src_path('WebKitWebViewBaseAccessible.*')) + \ + glob.glob(src_path('WebKitGeolocationProvider.*')) + \ + glob.glob(derived_sources_path('webkit2gtk', 'webkit2', 'WebKitMarshal.*')) + \ + glob.glob(derived_sources_path('webkit2gtk', 'webkit2', 'WebKitEnumTypes.*')) + \ glob.glob(src_path('tests/*.h')) }) return options |