dtbook-to-html: changed from html-store to fileset-store