How to index PDFs that were already uploaded

I have just turned on indexing of PDFs by pdftotext in How can I index the PDFs which have already been uploaded into OJS? Thanks, sitman

There is a utility in the tools/ folder “rebuildSearchIndex.php”. Call it from the command line as:
php tools/rebuildSearchIndex.php