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; \
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; \