[#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, chuck@horde.org
Requester chuck@horde.org
Created 2007-05-09 (4678 days ago)
Due
Updated 2011-06-27 (3168 days ago)
Assigned 2007-09-29 (4535 days ago)
Resolved 2011-06-27 (3168 days ago)
Milestone
Patch No

Comments
Chuck Hagenbuch <chuck@horde.org> 2007-05-09 15:34:19
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).

Jan Schneider <jan@horde.org> 2011-06-27 16:21:03
hordedoc is basically dead.