diff options
author | Robert Alessi <alessi@robertalessi.net> | 2020-04-18 11:05:51 +0200 |
---|---|---|
committer | Robert Alessi <alessi@robertalessi.net> | 2020-04-18 11:05:51 +0200 |
commit | 4f23949735c3e0ad7617605d039a466297398a76 (patch) | |
tree | d6af3fbe814d3fee34d22325132221e2abf5ec81 | |
parent | 5a2b496bee2c50ba6f8a6cc83cc78de4ea6d44b1 (diff) | |
download | ekdosis-4f23949735c3e0ad7617605d039a466297398a76.tar.gz |
removed tei_p_open boolean
-rw-r--r-- | ekdosis.dtx | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/ekdosis.dtx b/ekdosis.dtx index fa7c9d5..c244e32 100644 --- a/ekdosis.dtx +++ b/ekdosis.dtx | |||
@@ -1196,9 +1196,6 @@ local endpoem = lpeg.Cs(lnbrk * lpeg.S("*!") * bsqbrackets^-1) | |||
1196 | -- Bind to local variables | 1196 | -- Bind to local variables |
1197 | local next = next | 1197 | local next = next |
1198 | 1198 | ||
1199 | -- Booleans | ||
1200 | local tei_p_open = false | ||
1201 | |||
1202 | -- General | 1199 | -- General |
1203 | xmlids = {} | 1200 | xmlids = {} |
1204 | 1201 | ||
@@ -1629,8 +1626,6 @@ local function envtotei(str) | |||
1629 | do | 1626 | do |
1630 | if envtotags[i].b ~= "" | 1627 | if envtotags[i].b ~= "" |
1631 | then | 1628 | then |
1632 | -- -- if tei_p_open and envtotags[i].b == "p" or envtotags[i].b == "lg" | ||
1633 | -- if tei_p_open and isfound(close_p, envtotags[i].b) | ||
1634 | if isfound(close_p, envtotags[i].b) | 1629 | if isfound(close_p, envtotags[i].b) |
1635 | then | 1630 | then |
1636 | str = gsub(str, lpeg.P("\\par") * spcenc^-1 * lpeg.P("\\begin") * spcenc^-1 * lpeg.P("{") | 1631 | str = gsub(str, lpeg.P("\\par") * spcenc^-1 * lpeg.P("\\begin") * spcenc^-1 * lpeg.P("{") |
@@ -1766,13 +1761,6 @@ end | |||
1766 | local function textotei(str) | 1761 | local function textotei(str) |
1767 | str = xml_entities(str) | 1762 | str = xml_entities(str) |
1768 | str = texpatttotei(str) | 1763 | str = texpatttotei(str) |
1769 | -- if tei_p_open | ||
1770 | -- then | ||
1771 | -- str = string.gsub(str, "%s?\\par%s?", "</p>\n<p>") | ||
1772 | -- else | ||
1773 | -- str = string.gsub(str, "%s?\\par%s?", "\n<p>") | ||
1774 | -- tei_p_open = true | ||
1775 | -- end | ||
1776 | str = note_totei(str) | 1764 | str = note_totei(str) |
1777 | str = app_totei(str) | 1765 | str = app_totei(str) |
1778 | str = lem_rdg_totei(str) | 1766 | str = lem_rdg_totei(str) |
@@ -1923,15 +1911,8 @@ end | |||
1923 | function ekdosis.exporttei(str) | 1911 | function ekdosis.exporttei(str) |
1924 | local f = io.open(teifilename.."_tmp.xml", "a+") | 1912 | local f = io.open(teifilename.."_tmp.xml", "a+") |
1925 | -- f:write("\n<p>") | 1913 | -- f:write("\n<p>") |
1926 | -- tei_p_open = true | ||
1927 | str = textotei(str) | 1914 | str = textotei(str) |
1928 | f:write(str) | 1915 | f:write(str) |
1929 | -- if tei_p_open | ||
1930 | -- then | ||
1931 | -- f:write("</p>") | ||
1932 | -- tei_p_open = false | ||
1933 | -- else | ||
1934 | -- end | ||
1935 | f:close() | 1916 | f:close() |
1936 | return true | 1917 | return true |
1937 | end | 1918 | end |