From b7bda5e96df62e8aee0af8c5cfb2444db29774b4 Mon Sep 17 00:00:00 2001 From: Denis Buzdalov Date: Tue, 1 Aug 2023 14:21:41 +0300 Subject: [PATCH] [ docs ] Fix the formatting warning in the docs --- docs/source/reference/envvars.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/source/reference/envvars.rst b/docs/source/reference/envvars.rst index 6e74528697..752bc04d3d 100644 --- a/docs/source/reference/envvars.rst +++ b/docs/source/reference/envvars.rst @@ -16,7 +16,7 @@ in approximately the order you're likely to need them: * ``IDRIS2_PACKAGE_PATH`` - Directories where Idris2 looks for Idris 2 packages, in addition to the defaults (which are under the ``IDRIS2_PREFIX`` and in the ``depends`` subdirectory of the current working directory). - Directories are separated by a ``:`` on MacOS and *NIX systems, or a ``;`` on + Directories are separated by a ``:`` on MacOS and \*NIX systems, or a ``;`` on Windows * ``IDRIS2_DATA`` - Directories where Idris2 looks for data files. These are typically support code for code generators.