Zitat von Chuck Hagenbuch <chuck at horde.org>: > Is scripts/gen_docs.sh in use, and if so, what for? For the API docs generation. Jan. -- Do you need professional PHP or Horde consulting? http://horde.org/consulting/