diff options
Diffstat (limited to 'lang/dune')
| -rw-r--r-- | lang/dune | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/lang/dune b/lang/dune new file mode 100644 index 0000000..057e95a --- /dev/null +++ b/lang/dune @@ -0,0 +1,17 @@ +; The 725-name Latin/English liturgical vocabulary, installed into +; <prefix>/share/colitur/lang/ so an installed `colitur` can find la.ini +; the same way it finds its calendar data -- bin/main.ml's own [lang_dir] +; probes exactly this location as its INSTALLED candidate, mirroring +; data/dune's own ef/ layout and schema/dune's own schema/ layout. +; +; Without this file, `make install`/`dune install` never copied lang/ at +; all: la.ini and en.ini are the entire point of the naming-and-config +; work, and an installed binary silently degraded to raw slugs +; (Lang.raw) with no error, because [lang_dir]'s installed candidate +; never existed. Task: naming-and-config hotfix. +(install + (section share) + (package colitur) + (files + (la.ini as lang/la.ini) + (en.ini as lang/en.ini))) |