HTML_LIST= \
	manual/finish.html \
	manual/index.html \
	manual/rendering/html/1.html \
	manual/rendering/html/2.html \
	manual/rendering/html/3.html \
	manual/rendering/html/4.html \
	manual/rendering/html/5.html \
	manual/rendering/html/6.html \
	manual/rendering/html/7.html \
	manual/rendering/tables/1.html \
	manual/rendering/tables/2.html \
	manual/rendering/tables/3.html \
	manual/rendering/tables/4.html \
	manual/rendering/tables/4.1.html \
	manual/rendering/tables/4.2.html \
	manual/rendering/tables/5.html \
	manual/rendering/tables/6.html \
	manual/rendering/tables/6.1.html \
	manual/rendering/tables/6.2.html \
	manual/rendering/targets/1.html \
	manual/rendering/targets/2.1.html \
	manual/rendering/targets/2.2.html \
	manual/rendering/targets/2.html \
	manual/rendering/targets/3.1.html \
	manual/rendering/targets/3.2.html \
	manual/rendering/targets/3.html \
	manual/rendering/targets/4.1.html \
	manual/rendering/targets/4.2.html \
	manual/rendering/targets/4.html \
	manual/rendering/targets/5.1.1.html \
	manual/rendering/targets/5.1.2.html \
	manual/rendering/targets/5.1.html \
	manual/rendering/targets/5.2.html \
	manual/rendering/targets/5.html \
	manual/rendering/targets/6.html \
	manual/rendering/targets/7.html \
	manual/rendering/frames/1.1.html \
	manual/rendering/frames/1.2.html \
	manual/rendering/frames/1.3.html \
	manual/rendering/frames/1.html \
	manual/rendering/frames/2.1.html \
	manual/rendering/frames/2.2.html \
	manual/rendering/frames/2.3.html \
	manual/rendering/frames/2.html \
	manual/rendering/frames/3.1.1.html \
	manual/rendering/frames/3.1.2.html \
	manual/rendering/frames/3.1.html \
	manual/rendering/frames/3.2.html \
	manual/rendering/frames/3.html \
	manual/rendering/frames/4.1.1.html \
	manual/rendering/frames/4.1.html \
	manual/rendering/frames/4.2.html \
	manual/rendering/frames/4.html \
	manual/rendering/frames/5.1.html \
	manual/rendering/frames/5.2.html \
	manual/rendering/frames/5.html \
	manual/rendering/frames/6.1.html \
	manual/rendering/frames/6.2.html \
	manual/rendering/frames/6.html \
	manual/rendering/javascript/1.html \
	manual/rendering/javascript/2.html \
	manual/rendering/javascript/3.html \
	manual/rendering/javascript/4.html \
	manual/features/bookmarks/1.html \
        manual/features/dom/1.html \
        manual/features/edit/1.html \
        manual/features/edit/2.html \
        manual/features/protocols/1.html \
        manual/features/protocols/1.1.html \
        manual/features/protocols/1.2.html \
        manual/features/protocols/2.html \
        manual/features/protocols/2.1.html \
        manual/features/protocols/2.2.html \
        manual/features/protocols/3.html \
        manual/features/protocols/3.1.html \
        manual/features/protocols/3.2.html \
        manual/features/protocols/4.html \
        manual/features/protocols/4.1.html \
        manual/features/protocols/4.2.html \
        manual/features/protocols/5.html \
        manual/features/protocols/5.1.html \
        manual/features/protocols/5.2.html \
        manual/features/refresh/1.html \
        manual/features/search/1.html \
        manual/features/search/2.html \
        manual/features/search/3.html \
        manual/features/search/4.html \
        manual/features/stop/1.html \
        manual/features/view/1.html \
        manual/features/window/1.html \
        manual/features/window/2.html \
        manual/features/window/3.html \
        manual/features/window/4.html \
	$(NULL)





