diff options
author | Robert Alessi <alessi@robertalessi.net> | 2019-10-16 06:22:24 +0200 |
---|---|---|
committer | Robert Alessi <alessi@robertalessi.net> | 2019-10-16 06:22:24 +0200 |
commit | b99befc35e0559fc70011efce24d319d84e7425c (patch) | |
tree | 1f80b728687707e0a27b1a1275ccd90835e4f06c | |
parent | 6d53e3356c1d8d7ce41d656f455aed3f6a7ba5b0 (diff) | |
download | ekdosis-b99befc35e0559fc70011efce24d319d84e7425c.tar.gz |
a missing \mbox{} in ekdosis.appout()
-rw-r--r-- | ekdosis.dtx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ekdosis.dtx b/ekdosis.dtx index fb80c1a..4a5a025 100644 --- a/ekdosis.dtx +++ b/ekdosis.dtx | |||
@@ -1813,7 +1813,7 @@ function ekdosis.appout() | |||
1813 | table.insert(output, "\\par\\mbox{}\\newline{}") | 1813 | table.insert(output, "\\par\\mbox{}\\newline{}") |
1814 | elseif apparatuses[n].rule ~= "" | 1814 | elseif apparatuses[n].rule ~= "" |
1815 | then | 1815 | then |
1816 | table.insert(output, "\\par\\mbox{}" .. apparatuses[n].rule .. "\\newline{}") | 1816 | table.insert(output, "\\par\\mbox{}" .. apparatuses[n].rule .. "\\mbox{}\\newline{}") |
1817 | else | 1817 | else |
1818 | table.insert(output, "\\par\\csname ekd@default@rule\\endcsname\\newline{}") | 1818 | table.insert(output, "\\par\\csname ekd@default@rule\\endcsname\\newline{}") |
1819 | end | 1819 | end |