[Tickets #5343] Set up daily documentation builds on dev.horde.org

[bugs at bugs.horde.org]

DO NOT REPLY TO THIS MESSAGE. THIS EMAIL ADDRESS IS NOT MONITORED.

Ticket URL: http://bugs.horde.org/ticket/?id=5343
-----------------------------------------------------------------------
 Ticket             | 5343
 Created By         | Chuck Hagenbuch <chuck at horde.org>
 Summary            | Set up daily documentation builds on dev.horde.org
 Queue              | Horde.org Servers
 Type               | Enhancement
 State              | New
 Priority           | 1. Low
 Owners             | 
-----------------------------------------------------------------------


Chuck Hagenbuch <chuck at horde.org> (2007-05-09 08:34) wrote:

We should have daily builds of the developer documentation
(hordedoc/books/dev.xml or hordedoc/en/dev/) on dev.horde.org, along with
daily builds of the user and admin manuals (might not make sense on
dev.horde.org, but should be somewhere).