* installing to library ‘/home/hornik/tmp/R.check/r-patched-gcc/Work/build/Packages’
* installing *source* package ‘REDI’ ...
** this is package ‘REDI’ version ‘1.0.0’
** package ‘REDI’ successfully unpacked and MD5 sums checked
** using staged installation
** R
** inst
** byte-compile and prepare package for lazy loading
** help
*** installing help indices
  converting help for package ‘REDI’
    finding HTML links ... done
    REDI                                    html  
    compute_redi                            html  
    format_data                             html  
    loop_redi                               html  
    pipe                                    html  
    plot_redi                               html  
    simu_db                                 html  
*** copying figures
** building package indices
** testing if installed package can be loaded from temporary location
** testing if installed package can be loaded from final location
** testing if installed package keeps a record of temporary installation path
* DONE (REDI)