public Task <bool> Html(int pagenumber, DirectoryInfo folder, string highlight) { string filename = Path.Combine(folder.FullName, Path.ChangeExtension(pagenumber.ToString(), html.ToString())); ISet <int> highlightedOffsets = string.IsNullOrWhiteSpace(highlight) ? new HashSet <int>() : SearchUtil.HighlightedOffsets(pagenumber, highlight, DataFolder); using (HtmlWriter writer = new HtmlWriter(new FileStream(filename, FileMode.Create, FileAccess.Write), pagenumber, highlightedOffsets)) { TocItem item = FindItem(pagenumber); IEnumerable <Page> pages = PageUtil.LoadPages(DataFolder.GetFileIgnoreCase(TextDki), item.Pagenumber, item.Pagecount); foreach (Page page in pages) { PageUtil.Parse(page, writer); } DumpImages(writer.ImageIdsToExtensions, folder); } return(Task.FromResult(true)); }