But if you did write an app that took your HTML or CSV as input then it could be done. All the file renamers I know of won't use your current HTML or CSV so the answer is no. But you have the basic info, now you need an app. If you can't find an app, you write one.
I have an HD full of files, from a (now obselete and not functional) reference program.
It contains thousands of books, all in PDF.
The program had the filenames as numbers, instead of book titles, making it easy for the program to use, but impossible for humans.
I have a database (HTML and CSV) of all the books, and the correspondiong numbers. Is there an automatic way of renaming files from the database? Similar to how MediaMonkey sorts music from their matedata, but this is with PDF on a separate database?
Also, any way to search the text of multiple PDFs quickly, particularly in other languages (hebrew)?
Thanks for your help