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

Summary	Set up daily documentation builds on dev.horde.org
Queue	Horde.org Servers
Queue Version	Web Server
Type	Enhancement
State	Rejected
Priority	1. Low
Owners	Horde Developers (at) , chuck (at) horde (dot) org
Requester	chuck (at) horde (dot) org
Created	05/09/2007 (6756 days ago)
Due
Updated	06/27/2011 (5246 days ago)
Assigned	09/29/2007 (6613 days ago)
Resolved	06/27/2011 (5246 days ago)
Milestone
Patch	No

06/27/2011 04:21:03 PM	Jan Schneider	Comment #2 State ⇒ Rejected Version ⇒ Web Server	Reply to this comment
hordedoc is basically dead.

09/29/2007 03:39:27 AM	Chuck Hagenbuch	Assigned to Horde Developers State ⇒ Assigned Assigned to Chuck Hagenbuch

05/09/2007 03:34:19 PM	Chuck Hagenbuch	Comment #1 Priority ⇒ 1. Low Type ⇒ Enhancement Summary ⇒ Set up daily documentation builds on dev.horde.org Queue ⇒ Horde.org Servers State ⇒ New	Reply to this comment
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).