TARGET_DIR=$(docdir)

clean-local:
	cd $(top_srcdir) && rm -rf doc/*.html

install-data-local:
	installfiles=`echo $(top_srcdir)/doc/*.html`; \
	if test "$$installfiles" = '$(top_srcdir)/doc/*.html'; \
	then echo '-- Nothing to install' ; \
	else \
	  $(mkinstalldirs) $(DESTDIR)$(TARGET_DIR); \
	  for i in $$installfiles; do \
	    echo '-- Installing '$$i ; \
	    $(INSTALL_DATA) $$i $(DESTDIR)$(TARGET_DIR); \
	  done; \
	fi

uninstall-local:
	rm -rf $(DESTDIR)$(TARGET_DIR)

DISTCLEANFILES = \
	Makefile.in