more niminst fixes

This commit is contained in:
Andreas Rumpf 2016-06-13 12:06:04 +02:00
commit 7e8c9eda45
2 changed files with 30 additions and 12 deletions

View file

@ -48,7 +48,6 @@ Start: "doc/overview.html"
[Other]
Files: "readme.txt;install.txt;contributors.txt;copying.txt"
Files: "makefile"
Files: "*.ini"
Files: "koch.nim"
Files: "icons/nim.ico"
@ -66,7 +65,6 @@ Files: "tools"
Files: "web/website.ini"
Files: "web/ticker.html"
Files: "web/*.nim"
Files: "web/*.txt"
Files: "web/*.rst"
Files: "web/*.csv"
Files: "web/news/*.rst"