Sophie
EXTRA_DIST = $(docs_DATA) SUBDIRS = pics Deutsch English docsdir = $(datadir)/doc/worker docs_DATA = index.html