6.0.0-RC7
6/23/26

[#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 5/9/07 (6985 days ago)
Due
Updated 6/27/11 (5475 days ago)
Assigned 9/29/07 (6842 days ago)
Resolved 6/27/11 (5475 days ago)
Milestone
Patch No

History
34 Jan Schneider Comment #2
State ⇒ Rejected
Version ⇒ Web Server
Reply to this comment
hordedoc is basically dead.
273 Chuck Hagenbuch Assigned to Horde DevelopersHorde Developers
State ⇒ Assigned
Assigned to Chuck Hagenbuch
 
193 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).

Saved Queries