Fri, 10 Apr 2026 17:02:23 +0000 https://bugs.horde.org/ticket/5343 Set up daily documentation builds on dev.horde.org 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). Wed, 09 May 2007 15:34:19 +0000 https://bugs.horde.org/ticket/5343#t32833 hordedoc is basically dead. Mon, 27 Jun 2011 16:21:03 +0000 https://bugs.horde.org/ticket/5343#t65891