Comment 1 for bug 893275

I also think that having the documentation online is easier than everyone building it for himself. I will see if I can figure out a good way to auto-generate it on a server and then ask Sirver to do so on the Widelands server.