EXTRA_DIST = $(docs_DATA) docsdir = $(datadir)/doc/worker/pics docs_DATA = b1.png \ b2.png \ b3.png \ b4.png \ b5.png \ b6.png \ b7.png \ b8.png \ b9.png \ deutsch.png \ english.png \ f1.png \ f10.png \ f11.png \ f12.png \ f13.png \ f14.png \ f15.png \ f16.png \ f17.png \ f2.png \ f3.png \ f4.png \ f5.png \ f6.png \ f7.png \ f8.png \ f9.png \ wc1.png \ wc10.png \ wc11.png \ wc12.png \ wc15.png \ wc17.png \ wc18.png \ wc19.png \ wc2.png \ wc3.png \ wc4.png \ wc5.png \ wc6.png \ wc7.png \ wc8.png \ wc9.png \ wcft-01-de.png \ wcft-01-en.png \ wcft-02-de.png \ wcft-02-en.png \ wcft-03-de.png \ wcft-03-en.png \ wcft-04-de.png \ wcft-04-en.png \ wcft-05-de.png \ wcft-05-en.png \ wcft-06-de.png \ wcft-06-en.png \ wcft-07-de.png \ wcft-07-en.png \ winback.png