Issue 418: Build docs automatically with buildbot - Fast Downward issue tracker

Title	Build docs automatically with buildbot
Priority	wish	Status	resolved
Superseder	Make the buildbot update the automatically generated wiki documentation View: 417	Nosy List	florian, jendrik, malte
Assigned To	jendrik	Keywords
Optional summary

Created on 2014-02-08.13:32:53 by jendrik, last changed by jendrik.

Messages
msg2941 (view)	Author: jendrik	Date: 2014-02-08.13:32:53
I'd say Florian and me can work on this together.

History
Date	User	Action	Args
2014-02-08 13:37:00	jendrik	set	status: unread -> resolved
2014-02-08 13:36:26	jendrik	set	superseder: + Make the buildbot update the automatically generated wiki documentation
2014-02-08 13:32:53	jendrik	create