* installing to library ‘/home/hornik/tmp/R.check/r-patched-gcc/Work/build/Packages’
* installing *source* package ‘validatetools’ ...
** package ‘validatetools’ successfully unpacked and MD5 sums checked
** using staged installation
** R
** byte-compile and prepare package for lazy loading
** help
*** installing help indices
  converting help for package ‘validatetools’
    finding HTML links ... done
    cat_as_mip_rules                        html  
    cat_coefficients                        html  
    detect_boundary_cat                     html  
    finding level-2 HTML links ... done

    detect_boundary_num                     html  
    detect_fixed_variables                  html  
    detect_infeasible_rules                 html  
    detect_redundancy                       html  
    expect_values                           html  
    is_categorical                          html  
    is_conditional                          html  
    is_contradicted_by                      html  
    is_implied_by                           html  
    is_infeasible                           html  
    is_linear                               html  
    make_feasible                           html  
    mip_rule                                html  
    remove_redundancy                       html  
    simplify_conditional                    html  
    simplify_fixed_variables                html  
    simplify_rules                          html  
    substitute_values                       html  
    translate_mip_lp                        html  
    validatetools                           html  
** 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 (validatetools)