diff options
| author | Araq <rumpf_a@web.de> | 2012-07-08 23:33:45 +0200 |
|---|---|---|
| committer | Araq <rumpf_a@web.de> | 2012-07-08 23:33:45 +0200 |
| commit | f0dd96fa58478f732009def25f527d67d87e464c (patch) | |
| tree | 4445c7663570fc351853451f6f68b0de3c4bf6cc /install.sh | |
| parent | bb82e305081f65af828a0b88a455ee352bac8157 (diff) | |
| download | Nim-f0dd96fa58478f732009def25f527d67d87e464c.tar.gz | |
cross-compilation improvements
Diffstat (limited to 'install.sh')
| -rwxr-xr-x | install.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/install.sh b/install.sh index c83300293..db73cdd87 100755 --- a/install.sh +++ b/install.sh @@ -199,6 +199,10 @@ if [ $# -eq 1 ] ; then cp doc/manual.html $docdir/manual.html chmod 644 $docdir/manual.html fi + if [ -f doc/nimrodc.html ]; then + cp doc/nimrodc.html $docdir/nimrodc.html + chmod 644 $docdir/nimrodc.html + fi if [ -f doc/mytest.cfg ]; then cp doc/mytest.cfg $docdir/mytest.cfg chmod 644 $docdir/mytest.cfg |