[dev] scripts/gen_docs.sh

[Jan Schneider]

Zitat von Chuck Hagenbuch <chuck at horde.org>:

> Quoting Jan Schneider <jan at horde.org>:
>
>>> Is scripts/gen_docs.sh in use, and if so, what for?
>>
>> For the API docs generation.
>
> Any objection to moving it to the devtools package as well?

No. It's for generating the HTML versions of the docs/ files btw, not  
the API docs.

Jan.

-- 
Do you need professional PHP or Horde consulting?
http://horde.org/consulting/