From 6a6f6e637308dc7d16d435d451f15b4c40687ba7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Guilhem=20Faur=C3=A9?= Date: Thu, 27 Apr 2023 17:33:39 +0200 Subject: [PATCH] filter list type --- spip2md/spip.lark | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/spip2md/spip.lark b/spip2md/spip.lark index e17bbab..744f1ea 100644 --- a/spip2md/spip.lark +++ b/spip2md/spip.lark @@ -9,8 +9,8 @@ start: _N* block ( _N+ block )+ _N* | orphan_tag | SEPARATOR -> hr -list: unordered_list - | ordered_list +?list: unordered_list + | ordered_list unordered_list: ( _HYPHEN_STAR list_element _N )+ -> ul ordered_list: ( _HYPHEN_HASH list_element _N )+ -> ol