7 htmlDATA_INSTALL = cp -pR
13 @list='$(html_DATA)'; for p in $$list; do \
15 echo " rm -rf '$(DESTDIR)$(htmldir)/$$f'"; \
16 rm -rf "$(DESTDIR)$(htmldir)/$$f"; \
18 rmdir "$(DESTDIR)$(htmldir)/" || true
22 # rule to build documentation and copy necessary files