SubDir TOP docs doxygen ;

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