aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorRalph Amissah <ralph.amissah@gmail.com>2022-12-23 18:15:34 -0500
committerRalph Amissah <ralph.amissah@gmail.com>2022-12-23 18:15:34 -0500
commit5d344212d4e8fc2878afa6f3d7ba7c29bb17b912 (patch)
tree0c47bff99af7d08d2488dbda9ce038740da8729e
parentconfigs housekeeping, minor (diff)
epub header assertion removed, checkdoc-reform_v0.11.3
-rw-r--r--flake.lock6
-rw-r--r--org/out_xmls.org2
-rw-r--r--src/doc_reform/io_out/epub3.d2
3 files changed, 5 insertions, 5 deletions
diff --git a/flake.lock b/flake.lock
index 03fbc0c..733e33e 100644
--- a/flake.lock
+++ b/flake.lock
@@ -17,11 +17,11 @@
},
"nixpkgs": {
"locked": {
- "lastModified": 1669044098,
- "narHash": "sha256-VA54lmEGdtcQfE+YCtGlaMwiUMS0/K/+bz4/iPnLQ7c=",
+ "lastModified": 1671837212,
+ "narHash": "sha256-16nCDyLIocvo6XZ8CuvExTtfJoF6zrUZOlH4JfGxHOI=",
"owner": "nixos",
"repo": "nixpkgs",
- "rev": "19230cff31fd7562562dd25181579fa7087f0f89",
+ "rev": "59cf8b7a71488c65ccbe2b993602a0b5dcf8f5f6",
"type": "github"
},
"original": {
diff --git a/org/out_xmls.org b/org/out_xmls.org
index 391e5c9..78176a0 100644
--- a/org/out_xmls.org
+++ b/org/out_xmls.org
@@ -2985,7 +2985,7 @@ case "backmatter":
#+NAME: output_epub3_xhtml_seg_object_is_heading_set
#+BEGIN_SRC d
if (obj.metainfo.is_a == "heading") {
- assert(obj.text.length > 0);
+ // assert(obj.text.length > 0); // check assertion
if (obj.metainfo.heading_lev_markup <= 4) {
oepbs_content_parts["manifest_documents"] ~=
format(q"┃<item id="%s.xhtml" href="%s.xhtml" media-type="application/xhtml+xml" />
diff --git a/src/doc_reform/io_out/epub3.d b/src/doc_reform/io_out/epub3.d
index 44607f7..d19545c 100644
--- a/src/doc_reform/io_out/epub3.d
+++ b/src/doc_reform/io_out/epub3.d
@@ -542,7 +542,7 @@ template outputEPub3() {
}
}
if (obj.metainfo.is_a == "heading") {
- assert(obj.text.length > 0);
+ // assert(obj.text.length > 0); // check assertion
if (obj.metainfo.heading_lev_markup <= 4) {
oepbs_content_parts["manifest_documents"] ~=
format(q"┃<item id="%s.xhtml" href="%s.xhtml" media-type="application/xhtml+xml" />