SubDir TOP docs doxygen ;

if $(CMD.DOXYGEN)
{
CSDOXY_FILES = [ Wildcard *.css *.png *.jpg ] ;
Doxygen apihtml    : pubapi.dox $(CSDOXY_FILES) : html api    : index.html ;
Doxygen apidevhtml : devapi.dox $(CSDOXY_FILES) : html apidev : index.html ;
Help apihtml    : "Build the public API reference manual"    ;
Help apidevhtml : "Build the developer API reference manual" ;
}
