+endif
+
+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;
+
+install-data-local:
+ @for file in `find html/ -type d` ; do \
+ echo "test -z \"$(prefix)/doc/simgrid/$$file\" || $(mkdir_p) \"$(prefix)/doc/simgrid/$$file\"";\
+ test -z "$(prefix)/doc/simgrid/$$file" || $(mkdir_p) "$(prefix)/doc/simgrid/$$file";\
+ done
+ @for file in `find html/ -type f` ; do \
+ echo " $(INSTALL_DATA) '$$file' '$(prefix)/doc/simgrid/$$file'";\
+ $(INSTALL_DATA) $$file $(prefix)/doc/simgrid/$$file ;\
+ done
+
+uninstall-local:
+ for file in `find html/ -type f` ; do \
+ echo " rm -f '$(prefix)/doc/simgrid/$$file'";\
+ rm -f $(prefix)/doc/simgrid/$$file ;\
+ done