From 458fac9f6c33400dd6976514ea29f88fa34fe1cd Mon Sep 17 00:00:00 2001
From: github-actions <github-actions@github.com>
Date: Thu, 26 Jan 2023 19:55:59 +0000
Subject: [PATCH] [docgen] Update doc/orgmode_api.txt

---
 doc/orgmode_api.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/orgmode_api.txt b/doc/orgmode_api.txt
index eeb42311d..84211deae 100644
--- a/doc/orgmode_api.txt
+++ b/doc/orgmode_api.txt
@@ -115,7 +115,7 @@ OrgAgendaOptions                                              *OrgAgendaOptions*
     Fields: ~
         {filters?}  (OrgAgendaFilter)
         {from?}     (string|Date)
-        {span?}     (number|day|week|month|year)
+        {span?}     (number|"day"|"week"|"month"|"year")
 
 
 OrgAgenda.agenda({options?})                                  *OrgAgenda.agenda*