* installing to library ‘/home/hornik/tmp/R.check/r-patched-gcc/Work/build/Packages’
* installing *source* package ‘mantis’ ...
** this is package ‘mantis’ version ‘1.0.0’
** package ‘mantis’ successfully unpacked and MD5 sums checked
** using staged installation
** R
** data
*** moving datasets to lazyload DB
** inst
** byte-compile and prepare package for lazy loading
** help
*** installing help indices
  converting help for package ‘mantis’
    finding HTML links ... done
    alert_rule_types                        html  
    alert_rules                             html  
    alertspec                               html  
    bespoke_rmd_alert_results               html  
    bespoke_rmd_initialise_widgets          html  
    bespoke_rmd_output                      html  
    example_data                            html  
    example_prescription_numbers            html  
    inputspec                               html  
    mantis-package                          html  
    mantis_alerts                           html  
    mantis_report                           html  
    outputspec_interactive                  html  
    outputspec_static_heatmap               html  
    outputspec_static_multipanel            html  
*** copying figures
** 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 (mantis)