* installing to library ‘/home/hornik/tmp/R.check/r-patched-gcc/Work/build/Packages’
* installing *source* package ‘leaflet’ ...
** this is package ‘leaflet’ version ‘2.2.3’
** package ‘leaflet’ 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 ‘leaflet’
    finding HTML links ... done
    aaa-test-viztest                        html  
    addAwesomeMarkers                       html  
    addGraticule                            html  
    addLayersControl                        html  
    addLegend                               html  
    addMapPane                              html  
    addMeasure                              html  
    addMiniMap                              html  
    addProviderTiles                        html  
    addRasterImage                          html  
    addRasterLegend                         html  
    addScaleBar                             html  
    addSimpleGraticule                      html  
    addTerminator                           html  
    atlStorms2005                           html  
    awesomeIconList                         html  
    awesomeIcons                            html  
    breweries91                             html  
    colorNumeric                            html  
    deprecated                              html  
    derivePoints                            html  
    dispatch                                html  
    easyButton                              html  
    evalFormula                             html  
    expandLimits                            html  
    expandLimitsBbox                        html  
    filterNULL                              html  
    gadmCHE                                 html  
    getMapData                              html  
    groupOptions                            html  
    iconList                                html  
    icons                                   html  
    leaflet-package                         html  
    leaflet                                 html  
    leafletDependencies                     html  
    leafletProxy                            html  
    leafletSizingPolicy                     html  
    makeAwesomeIcon                         html  
    makeIcon                                html  
    map-layers                              html  
    map-methods                             html  
    map-options                             html  
    map-shiny                               html  
    mapOptions                              html  
    previewColors                           html  
    providers                               html  
    reexports                               html  
    remove                                  html  
    safeLabel                               html  
    showGroup                               html  
    validateCoords                          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 (leaflet)