23 Jan
2012
23 Jan
'12
7:24 p.m.
Marcello:
HTMLTXT = { (h, t): h ∈ HTML, t ∈ TXT }, TXT = the set of all plain text files that encode the book, HTML = the set of all valid HTML files that encode the book, TEI = the set of all valid TEI files that encode the book, RST = the set of all valid RST files that encode the book.
Well I am sorry but it is bizarre that PG would pretend that TEI or RST qualify as being a "lasting format" not requiring the input of a separate txt70 file, but that HTML isn't a "lasting format" that does require submitting a separate txt70 file. Again, please everyone take a good hard look at the "HTML" code which PG itself is generating before criticizing the HTML efforts of ANY volunteer submitter!