+logcategories.doc: $(DOCSOURCES)
+ pwd=`pwd`; rm $$pwd/logcategories.doc; set -e; \
+ echo "/* Generated file, do not edit */" > $$pwd/logcategories.doc; \
+ echo "/** \addtogroup XBT_log_cats" >> $$pwd/logcategories.doc; \
+ echo " @{" >> $$pwd/logcategories.doc; \
+ cd @top_srcdir@/src; ./xbt_log_extract_hierarchy >> $$pwd/logcategories.doc; \
+ echo "@}*/" >> $$pwd/logcategories.doc;
+