chore(docs): auto generate docs

jghauser · github-actions[bot] · commit 77f1ca055514 · 2024-06-04T14:23:21.000Z
diff --git a/doc/papis.txt b/doc/papis.txt
@@ -413,7 +413,7 @@ All configuration options (with defaults) ~
         -- Define all the lines to be inserted
         local lines = {
           "---",
-          "title: Notes -- " .. table.concat(title),
+          'title: "Notes -- ' .. table.concat(title) .. '"',
           "---",
           "",
         }

Original file line number	Diff line number	Diff line change
`@@ -413,7 +413,7 @@ All configuration options (with defaults) ~`
`413`	`413`	`-- Define all the lines to be inserted`
`414`	`414`	`local lines = {`
`415`	`415`	`"---",`
`416`		`- "title: Notes -- " .. table.concat(title),`
	`416`	`+ 'title: "Notes -- ' .. table.concat(title) .. '"',`
`417`	`417`	`"---",`
`418`	`418`	`"",`
`419`	`419`	`}`