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? -chuck -- "we are plastered to the windshield of the bus that is time." - Chris