From ee15437aedcf7c4f29f75101a6af7bc454830cda Mon Sep 17 00:00:00 2001 From: Timothee Cour Date: Thu, 7 May 2020 15:01:46 -0700 Subject: [PATCH] fix root cause of https://github.com/dom96/choosenim/issues/193; config/config.nims should get installed --- compiler/installer.ini | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/compiler/installer.ini b/compiler/installer.ini index 939b328d0a..fdb717b619 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"