* installing to library ‘/home/hornik/tmp/R.check/r-patched-gcc/Work/build/Packages’
* installing *source* package ‘deducorrect’ ...
** this is package ‘deducorrect’ version ‘1.3.7’
** package ‘deducorrect’ 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 ‘deducorrect’
    finding HTML links ... done
    allTotallyUnimodular                    html  
    applyFix                                html  
    correctRounding                         html  
    correctSigns                            html  
    correctTypos                            html  
    correctWithRules                        html  
    correctionRules                         html  
    damerauLevenshteinDistance              html  
    deduImpute                              html  
    deducorrect-object                      html  
    deducorrect-package                     html  
    deductiveLevels                         html  
    deductiveZeros                          html  
    getSignCorrection                       html  
    getTypoCorrection                       html  
    getUsername                             html  
    hellerTompkins                          html  
    imputess                                html  
    isTotallyUnimodular                     html  
    newdeducorrect                          html  
    raghavachari                            html  
    reduceMatrix                            html  
    scapegoat                               html  
    solSpace                                html  
    status                                  html  
    tree                                    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 (deducorrect)