diff options
Diffstat (limited to 'rod/nimrod.ini')
| -rwxr-xr-x[-rw-r--r--] | rod/nimrod.ini | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/rod/nimrod.ini b/rod/nimrod.ini index eaf3aafb2..6ae5f0156 100644..100755 --- a/rod/nimrod.ini +++ b/rod/nimrod.ini @@ -22,6 +22,7 @@ License: "copying.txt" [Config] Files: "config/nimdoc.cfg" Files: "config/nimrod.cfg" +Files: "config/nimdoc.tex.cfg" [Documentation] Files: "doc/*.txt" |