From 59dceb857f6ba862c60730ea6670f4414fd41a10 Mon Sep 17 00:00:00 2001 From: Mark Barbone Date: Fri, 19 Jun 2020 03:07:54 -0400 Subject: [PATCH] Make reference and source agree about literate markdown --- docs/source/reference/literate.rst | 2 +- src/Parser/Unlit.idr | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/source/reference/literate.rst b/docs/source/reference/literate.rst index bdf3cd6fd..f82495ece 100644 --- a/docs/source/reference/literate.rst +++ b/docs/source/reference/literate.rst @@ -52,4 +52,4 @@ CommonMark Only code blocks denoted by standard code blocks labelled as idris are recognised. -We treat files with an extension of ``.md`` and ``.markdown`` as org-mode style literate files. +We treat files with an extension of ``.md`` and ``.markdown`` as CommonMark style literate files. diff --git a/src/Parser/Unlit.idr b/src/Parser/Unlit.idr index 1c1f19351..e0ca49845 100644 --- a/src/Parser/Unlit.idr +++ b/src/Parser/Unlit.idr @@ -24,7 +24,7 @@ styleOrg = MkLitStyle export styleCMark : LiterateStyle -styleCMark = MkLitStyle [("```idris", "```")] Nil [".md"] +styleCMark = MkLitStyle [("```idris", "```")] Nil [".md", ".markdown"] export isLitFile : String -> Maybe LiterateStyle