* installing to library ‘/home/hornik/tmp/R.check/r-patched-gcc/Work/build/Packages’
* installing *source* package ‘Rpolyhedra’ ...
** package ‘Rpolyhedra’ 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 ‘Rpolyhedra’
    finding HTML links ... done
    PolyhedraDatabase                       html  
    Polyhedron                              html  
    PolyhedronState                         html  
    PolyhedronStateDefined                  html  
    PolyhedronStateDeserializer             html  
    PolyhedronStateDmccooeyScraper          html  
    PolyhedronStateNetlibScraper            html  
    Rpolyhedra-package                      html  
    genLogger                               html  
    getAvailablePolyhedra                   html  
    getAvailableSources                     html  
    getLogger                               html  
    getPolyhedraObject                      html  
    getPolyhedron                           html  
    loggerSetupFile                         html  
    mutate_cond                             html  
    polyhedronToXML                         html  
    scrapePolyhedra                         html  
    scrapePolyhedraSources                  html  
    switchToFullDatabase                    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 (Rpolyhedra)