diff options
| author | Araq <rumpf_a@web.de> | 2014-10-18 20:26:51 +0200 |
|---|---|---|
| committer | Araq <rumpf_a@web.de> | 2014-10-18 20:26:51 +0200 |
| commit | d3e9d0fa3a7feaf1d7d16e8a4c6b2f9f4e43902f (patch) | |
| tree | 9e20a01fd395ec9ebf3b2fba69a1c3d20ff5caf8 | |
| parent | 32444e47a0532b7badf4af133165145e03d906a6 (diff) | |
| download | Nim-d3e9d0fa3a7feaf1d7d16e8a4c6b2f9f4e43902f.tar.gz | |
niminst: 'doc/*.txt' required for bootstrapping
| -rw-r--r-- | compiler/nimrod.ini | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/nimrod.ini b/compiler/nimrod.ini index 82d5ea2ae..b4db10c11 100644 --- a/compiler/nimrod.ini +++ b/compiler/nimrod.ini @@ -34,7 +34,7 @@ Files: "config/nimdoc.cfg" Files: "config/nimdoc.tex.cfg" [Documentation] -; Files: "doc/*.txt" +Files: "doc/*.txt" ; Files: "doc/*.html" ; Files: "doc/*.cfg" ; Files: "doc/*.pdf" |