Take full headline body for search function.

Using just `get_contents` doesn't get list items or tables.
2022-10-30 23:27:47 +01:00 · 2022-10-30 23:27:47 +01:00 · 486c88c583
commit 486c88c583
parent c80ada2a40
1 changed files with 1 additions and 1 deletions
--- a/scripts/generate.py
+++ b/scripts/generate.py
@ -226,7 +226,7 @@ def regen_all(src_top, dest_top, *, docs=None, db=None):
                    (
                        headline.id,
                        headline.title.get_text(),
-                        ''.join(headline.get_contents('raw')),
+                        '\n'.join(headline.doc.dump_headline(headline, recursive=False)),
                        topLevelHeadline.title.get_text(),
                        headline.is_done,
                        headline.is_todo,