* installing to library ‘/home/hornik/tmp/R.check/r-patched-gcc/Work/build/Packages’
* installing *source* package ‘oeis.tools’ ...
** this is package ‘oeis.tools’ version ‘0.3.1’
** package ‘oeis.tools’ 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 ‘oeis.tools’
    finding HTML links ... done
    BFile                                   html  
    Sequence                                html  
    check_id                                html  
    create_bfile                            html  
    extract_oeis_ids                        html  
    get_bfile_data                          html  
    get_bfile_indices                       html  
    get_bfile_info                          html  
    get_bibtex                              html  
    get_data_values                         html  
    get_filename                            html  
    get_graph_image                         html  
    get_graph_png                           html  
    get_keyword_description                 html  
    get_url                                 html  
    get_xref_ids                            html  
    oeis_available                          html  
    oeis_bfile                              html  
    oeis_keyword_description                html  
    oeis_url                                html  
    plot.Sequence                           html  
    plot_data                               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 (oeis.tools)