From d3e9d0fa3a7feaf1d7d16e8a4c6b2f9f4e43902f Mon Sep 17 00:00:00 2001
From: Araq <rumpf_a@web.de>
Date: Sat, 18 Oct 2014 20:26:51 +0200
Subject: [PATCH] niminst: 'doc/*.txt' required for bootstrapping

---
 compiler/nimrod.ini | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/nimrod.ini b/compiler/nimrod.ini
index 82d5ea2aed..b4db10c11e 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"