* installing to library ‘/home/hornik/tmp/R.check/r-patched-gcc/Work/build/Packages’
* installing *source* package ‘settings’ ...
** this is package ‘settings’ version ‘0.2.7’
** package ‘settings’ 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 ‘settings’
    finding HTML links ... done
    clone_and_merge                         html  
    defaults                                html  
    inlist                                  html  
    is_setting                              html  
    options_manager                         html  
    reset                                   html  
    reset_options                           html  
    reset_par                               html  
    settings                                html  
    stop_if_reserved                        html  
** building package indices
** installing vignettes
** 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 (settings)