Minor documentation fixes#855

Open

cgiachalis wants to merge 10 commits into

TileDB-Inc:mainfrom

cgiachalis:cg/polish-docs

Annotations

2 errors and 2 warnings

Process completed with exit code 1.

R CMD check found ERRORs

file 'tiledb/configure' did not have execute permissions: corrected

file 'tiledb/cleanup' did not have execute permissions: corrected