On Mon, 24 Apr 2006 12:12:26 +0200, Jan-Oliver Wagner said: > I just realized that "make online" does not work anymore for the > manuals. Probably one of the recent changes broke it. No problem here. I just updated the web version. Shalom-Salam, Werner