Louis Gesbert 4cec981f62 Move global options of Cli to their own module ... This resolves a dependency cycle that would forbid `Cli` from using the modue `File`, which was annoying.		2024-03-19 15:18:35 +01:00
..
dune	Embed the Pygments Catala lexer	2023-03-13 14:41:24 +01:00
html.ml	Move global options of Cli to their own module	2024-03-19 15:18:35 +01:00
html.mli	Move global options of Cli to their own module	2024-03-19 15:18:35 +01:00
latex.ml	Move global options of Cli to their own module	2024-03-19 15:18:35 +01:00
latex.mli	Move global options of Cli to their own module	2024-03-19 15:18:35 +01:00
literate_common.ml	Move global options of Cli to their own module	2024-03-19 15:18:35 +01:00
literate_common.mli	Move global options of Cli to their own module	2024-03-19 15:18:35 +01:00
literate.mld	Documentation pass	2022-01-19 10:54:16 +01:00
pygmentize.ml	Move global options of Cli to their own module	2024-03-19 15:18:35 +01:00
pygmentize.mli	Compile LaTeX code using minted without the Python venv	2023-03-14 17:35:22 +01:00