echo "/* Generated file, do not edit */" > $$pwd/logcategories.doc; \
echo "/** \addtogroup XBT_log_cats" >> $$pwd/logcategories.doc; \
echo " @{" >> $$pwd/logcategories.doc; \
echo "/* Generated file, do not edit */" > $$pwd/logcategories.doc; \
echo "/** \addtogroup XBT_log_cats" >> $$pwd/logcategories.doc; \
echo " @{" >> $$pwd/logcategories.doc; \