+endif
+
+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