Summary: | [GTK] Make sure html_dir exists before calling gtkdoc-rebase | ||||||
---|---|---|---|---|---|---|---|
Product: | WebKit | Reporter: | Carlos Garcia Campos <cgarcia> | ||||
Component: | Tools / Tests | Assignee: | Nobody <webkit-unassigned> | ||||
Status: | RESOLVED FIXED | ||||||
Severity: | Normal | CC: | alex, pnormand | ||||
Priority: | P2 | Keywords: | Gtk | ||||
Version: | 528+ (Nightly build) | ||||||
Hardware: | PC | ||||||
OS: | Linux | ||||||
Attachments: |
|
Description
Carlos Garcia Campos
2012-02-06 06:29:56 PST
Created attachment 125631 [details]
Patch
Committed r106805: <http://trac.webkit.org/changeset/106805> Comment on attachment 125631 [details] Patch View in context: https://bugs.webkit.org/attachment.cgi?id=125631&action=review > Tools/gtk/gtkdoc.py:361 > + if not os.path.isdir(html_dir): > + return This should probably raise an exception, so that the user knows the process failed. |