mirror of
https://github.com/CatalaLang/catala.git
synced 2024-11-10 06:37:54 +03:00
abc5a00c2f
This is a hack, but not a dirty one: a new command `catala pygmentize` is added, which is just a wrapper around `pygmentize` that calls it with the proper lexers defined. The point is that this needs no installation, just a stock `pygmentize` installation and the `catala` binary. |
||
---|---|---|
.. | ||
dune | ||
html.ml | ||
html.mli | ||
latex.ml | ||
latex.mli | ||
literate_common.ml | ||
literate_common.mli | ||
literate.mld | ||
pygmentize.ml | ||
pygmentize.mli |