Title: [108039] trunk/Tools
- Revision
- 108039
- Author
- [email protected]
- Date
- 2012-02-16 23:23:28 -0800 (Thu, 16 Feb 2012)
Log Message
[GTK] Make install is broken when building without --enable-gtk-doc
https://bugs.webkit.org/show_bug.cgi?id=78828
Reviewed by Martin Robinson.
* gtk/generate-gtkdoc:
(rebase_installed_docs): Check documentation has been generated
before trying to rebase it.
Modified Paths
Diff
Modified: trunk/Tools/ChangeLog (108038 => 108039)
--- trunk/Tools/ChangeLog 2012-02-17 07:20:12 UTC (rev 108038)
+++ trunk/Tools/ChangeLog 2012-02-17 07:23:28 UTC (rev 108039)
@@ -1,3 +1,14 @@
+2012-02-16 Carlos Garcia Campos <[email protected]>
+
+ [GTK] Make install is broken when building without --enable-gtk-doc
+ https://bugs.webkit.org/show_bug.cgi?id=78828
+
+ Reviewed by Martin Robinson.
+
+ * gtk/generate-gtkdoc:
+ (rebase_installed_docs): Check documentation has been generated
+ before trying to rebase it.
+
2012-02-16 Dirk Pranke <[email protected]>
nrwt: simplify worker interface
Modified: trunk/Tools/gtk/generate-gtkdoc (108038 => 108039)
--- trunk/Tools/gtk/generate-gtkdoc 2012-02-17 07:20:12 UTC (rev 108038)
+++ trunk/Tools/gtk/generate-gtkdoc 2012-02-17 07:23:28 UTC (rev 108039)
@@ -139,6 +139,9 @@
return generator.saw_warnings
def rebase_installed_docs(pkg_config_path, options):
+ if not os.path.isdir(options['output_dir']):
+ print "Documentation was not generated"
+ return
generator = gtkdoc.PkgConfigGTKDoc(pkg_config_path, options)
generator.rebase_installed_docs()
_______________________________________________
webkit-changes mailing list
[email protected]
http://lists.webkit.org/mailman/listinfo.cgi/webkit-changes
