distdir=bless-dist

DOC_DEVELOPER=$(wildcard developer/*)
DOC_USER=$(wildcard user/*)

distdir:
	rm -rf ../$(distdir)/doc
	mkdir ../$(distdir)/doc
	cp --parents $(DOC_DEVELOPER) $(DOC_USER) Makefile ../$(distdir)/doc/
