Title: [160173] trunk/Tools
- Revision
- 160173
- Author
- [email protected]
- Date
- 2013-12-05 06:32:46 -0800 (Thu, 05 Dec 2013)
Log Message
[GTK] Fix gtk-doc warnings when generating DOM bindings API docs
https://bugs.webkit.org/show_bug.cgi?id=125302
Reviewed by Philippe Normand.
* gtk/generate-webkitdom-doc-files:
(WebKitDOMDocGeneratorSections.write_footer): Add a new section
containing a private subsection for WEBKIT_API, WEBKIT_DEPRECATED
and WEBKIT_DEPRECATED_FOR macros.
Modified Paths
Diff
Modified: trunk/Tools/ChangeLog (160172 => 160173)
--- trunk/Tools/ChangeLog 2013-12-05 13:31:02 UTC (rev 160172)
+++ trunk/Tools/ChangeLog 2013-12-05 14:32:46 UTC (rev 160173)
@@ -1,3 +1,15 @@
+2013-12-05 Carlos Garcia Campos <[email protected]>
+
+ [GTK] Fix gtk-doc warnings when generating DOM bindings API docs
+ https://bugs.webkit.org/show_bug.cgi?id=125302
+
+ Reviewed by Philippe Normand.
+
+ * gtk/generate-webkitdom-doc-files:
+ (WebKitDOMDocGeneratorSections.write_footer): Add a new section
+ containing a private subsection for WEBKIT_API, WEBKIT_DEPRECATED
+ and WEBKIT_DEPRECATED_FOR macros.
+
2013-12-05 Laszlo Vidacs <[email protected]>
Fix cross compilation on x86
Modified: trunk/Tools/gtk/generate-webkitdom-doc-files (160172 => 160173)
--- trunk/Tools/gtk/generate-webkitdom-doc-files 2013-12-05 13:31:02 UTC (rev 160172)
+++ trunk/Tools/gtk/generate-webkitdom-doc-files 2013-12-05 14:32:46 UTC (rev 160173)
@@ -188,7 +188,14 @@
sys.stdout.write('webkit_dom_%s_get_type\n' % self._dom_class_decamelize(class_name).lower())
sys.stdout.write('</SECTION>\n\n')
+ def write_footer(self):
+ sys.stdout.write('<SECTION>\n')
+ sys.stdout.write('<FILE>webkitdomdefines</FILE>\n<TITLE>WebKitDOMDefines</TITLE>\n')
+ sys.stdout.write('<SUBSECTION Private>\n')
+ sys.stdout.write('WEBKIT_API\nWEBKIT_DEPRECATED\nWEBKIT_DEPRECATED_FOR\n')
+ sys.stdout.write('</SECTION>\n\n')
+
symbol_files = sys.stdin.read().strip('\n').split(' ')
if 'docs' in sys.argv[1:]:
generator = WebKitDOMDocGeneratorDocs()
_______________________________________________
webkit-changes mailing list
[email protected]
https://lists.webkit.org/mailman/listinfo/webkit-changes