Changeset 160173 in webkit

Timestamp:

Dec 5, 2013, 6:32:46 AM (13 years ago)

Author:

Carlos Garcia Campos

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.

Location:

trunk/Tools

Files:

• ChangeLog (modified) (1 diff)
• gtk/generate-webkitdom-doc-files (modified) (1 diff)

trunk/Tools/ChangeLog

@@ +1 @@
+2013-12-05  Carlos Garcia Campos  <cgarcia@igalia.com>
+
+        [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  <lac@inf.u-szeged.hu>
 

trunk/Tools/gtk/generate-webkitdom-doc-files

@@ -189 +189 @@
             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(' ')