EXTRA_DIST = $(docs_DATA) 

docsdir = $(datadir)/doc/worker/English

docs_DATA = buffer.html \
	changelog.html \
	config.html \
	config1-1.html \
	config1-2-1.html \
	config1-2.html \
	config1.html \
	config2.html \
	config3.html \
	config4-1.html \
	config4.html \
	config5-1.html \
	config5.html \
	config6-1-1-1.html \
	config6-1-1.html \
	config6-1.html \
	config6-2.html \
	config6-3.html \
	config6-4.html \
	config6-5.html \
	config6.html \
	config7-1.html \
	config7.html \
	config8.html \
	function.html \
	function0.html \
	function1.html \
	function10.html \
	function11.html \
	function12.html \
	function13.html \
	function14.html \
	function15.html \
	function16.html \
	function17.html \
	function18.html \
	function19.html \
	function2.html \
	function20.html \
	function21.html \
	function22.html \
	function23.html \
	function24.html \
	function25.html \
	function26.html \
	function27.html \
	function28-1.html \
	function28.html \
	function29.html \
	function3.html \
	function30.html \
	function31.html \
	function32.html \
	function33.html \
	function34.html \
	function35.html \
	function36.html \
	function37.html \
	function38.html \
	function39.html \
	function4.html \
	function5.html \
	function6.html \
	function7.html \
	function8.html \
	function9.html \
	index.html \
	installation.html \
	introduction.html \
	sidemap.html \
        style.css \
	todo.html \
	usage.html \
	usage1.html \
	usage2.html \
	usage3.html \
	usage4.html \
	usage5.html \
	usage6.html