0f573a5368
This fixes a problem where the encoding used for Lua filenames would sometimes mismatch the encoding used by the OS. The file wasn't found when that happened, for example with an umlaut-containing filename on Windows. The change ensures that all characters of available in the default locale can be used in the filename.
48 lines
1 KiB
YAML
48 lines
1 KiB
YAML
flags:
|
|
pandoc:
|
|
trypandoc: false
|
|
embed_data_files: true
|
|
QuickCheck:
|
|
old-random: false
|
|
packages:
|
|
- '.'
|
|
extra-deps:
|
|
- skylighting-core-0.12.3.1
|
|
- skylighting-0.12.3.1
|
|
- emojis-0.1.2
|
|
- lpeg-1.0.3
|
|
- hslua-2.2.1
|
|
- hslua-aeson-2.2.0
|
|
- hslua-classes-2.2.0
|
|
- hslua-core-2.2.1
|
|
- hslua-marshalling-2.2.1
|
|
- hslua-module-doclayout-1.0.4
|
|
- hslua-module-path-1.0.2
|
|
- hslua-module-system-1.0.2
|
|
- hslua-module-text-1.0.2
|
|
- hslua-module-version-1.0.2
|
|
- hslua-objectorientation-2.2.1
|
|
- hslua-packaging-2.2.1
|
|
- lua-2.2.1
|
|
- lua-arbitrary-1.0.1
|
|
- tasty-hslua-1.0.2
|
|
- tasty-lua-1.0.2
|
|
- pandoc-lua-marshal-0.1.6
|
|
- aeson-pretty-0.8.9
|
|
- unicode-transforms-0.4.0.1
|
|
- unicode-data-0.3.0
|
|
- commonmark-pandoc-0.2.1.2
|
|
- ipynb-0.2
|
|
- pandoc-types-1.22.2
|
|
- texmath-0.12.5
|
|
- commonmark-0.2.2
|
|
- commonmark-extensions-0.2.3.1
|
|
- doclayout-0.4
|
|
- doctemplates-0.10.0.2
|
|
- git: https://github.com/jgm/citeproc
|
|
commit: 7874a4ccf1845e5a8a6855c251f1aaea9bf12807
|
|
ghc-options:
|
|
"$locals": -fhide-source-paths -Wno-missing-home-modules
|
|
resolver: lts-18.10
|
|
nix:
|
|
packages: [zlib]
|