Re: [platform-ui-dev] Documentation build seems to fail

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]

Re: [platform-ui-dev] Documentation build seems to fail

From: Paul Webster <pwebster@xxxxxxxxxxxxxxxxxxx>
Date: Wed, 4 Jun 2014 09:40:29 -0400
Delivered-to: platform-ui-dev@xxxxxxxxxxx
List-archive: <https://dev.eclipse.org/mailman/private/platform-ui-dev>
List-help: <mailto:platform-ui-dev-request@eclipse.org?subject=help>
List-subscribe: <https://dev.eclipse.org/mailman/listinfo/platform-ui-dev>, <mailto:platform-ui-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://dev.eclipse.org/mailman/options/platform-ui-dev>, <mailto:platform-ui-dev-request@eclipse.org?subject=unsubscribe>

On Tue, Jun 3, 2014 at 9:49 PM, Paul Webster <Paul_Webster@xxxxxxxxxx> wrote:

That's the nature of the doc build. We should probably disable the Gerrit build.

I've disabled the eclipse.platform.common build.

--
Paul Webster
Hi floor. Make me a sammich! - GIR

References:
- [platform-ui-dev] Documentation build seems to fail
  - From: Lars Vogel
- Re: [platform-ui-dev] Documentation build seems to fail
  - From: Paul Webster

Prev by Date: [platform-ui-dev] Committer vote for Wojciech Sudol has been approved by the PMC
Next by Date: [platform-ui-dev] New book: Contributing to the Eclipse project: Principles, Plug-ins and Gerrit Code Review
Previous by thread: Re: [platform-ui-dev] Documentation build seems to fail
Next by thread: [platform-ui-dev] Committer vote for Wojciech Sudol has concluded successfully
Index(es):
- Date
- Thread

Back to the top