diff options
author | Timothee Cour <timothee.cour2@gmail.com> | 2020-05-07 15:01:46 -0700 |
---|---|---|
committer | Timothee Cour <timothee.cour2@gmail.com> | 2020-05-07 15:01:46 -0700 |
commit | ee15437aedcf7c4f29f75101a6af7bc454830cda (patch) | |
tree | 331bc9d579988ad64449f83004882865578ba369 | |
parent | 5fa7d374c4cb777372cf5b967575f228bda23c2b (diff) | |
download | Nim-ee15437aedcf7c4f29f75101a6af7bc454830cda.tar.gz |
fix root cause of https://github.com/dom96/choosenim/issues/193; config/config.nims should get installed
-rw-r--r-- | compiler/installer.ini | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/compiler/installer.ini b/compiler/installer.ini index 939b328d0..fdb717b61 100644 --- a/compiler/installer.ini +++ b/compiler/installer.ini @@ -35,9 +35,8 @@ App: Console License: "copying.txt" [Config] -Files: "config/nim.cfg" -Files: "config/nimdoc.cfg" -Files: "config/nimdoc.tex.cfg" +Files: "config/*.cfg" +Files: "config/config.nims" [Documentation] ; Files: "doc/*.html" |