Changeset 128367 in webkit

Timestamp:

Sep 12, 2012 3:13:44 PM (12 years ago)

Author:

commit-queue@webkit.org

Message:

[GTK] We attempt to rebase documentation even if it's not present
​https://bugs.webkit.org/show_bug.cgi?id=96553

Patch by Xan Lopez <​xlopez@igalia.com> on 2012-09-12
Reviewed by Martin Robinson.

Do not make the documentation rebase step fatal. This allows make
install to succeed when there's no documentation generated.

• gtk/generate-gtkdoc:

Location:

trunk/Tools

Files:

• ChangeLog (modified) (1 diff)
• gtk/generate-gtkdoc (modified) (2 diffs)

trunk/Tools/ChangeLog

@@ +1 @@
+2012-09-12  Xan Lopez  <xlopez@igalia.com>
+
+        [GTK] We attempt to rebase documentation even if it's not present
+        https://bugs.webkit.org/show_bug.cgi?id=96553
+
+        Reviewed by Martin Robinson.
+
+        Do not make the documentation rebase step fatal. This allows make
+        install to succeed when there's no documentation generated.
+
+        * gtk/generate-gtkdoc:
+
 2012-09-12  Kenneth Rohde Christiansen  <kenneth@webkit.org>
 

trunk/Tools/gtk/generate-gtkdoc

@@ -174 +174 @@
     else:
         print "Rebasing WebKit1 documentation..."
-        generator.rebase_installed_docs()
+        try:
+            generator.rebase_installed_docs()
+        except Exception,e:
+            print "Rebase did not happen, likely no documentation is present."
 
 # WebKit2 might not be enabled, so check for the pkg-config file before building documentation.
@@ -185 +188 @@
     else:
         print "\nRebasing WebKit2 documentation..."
-        generator.rebase_installed_docs()
+        try:
+            generator.rebase_installed_docs()
+        except Exception,e:
+            print "Rebase did not happen, likely no documentation is present."
 
 sys.exit(saw_webkit1_warnings or saw_webkit2_warnings)