plotextractor: improve TeX detection
- Made a minor change to the TeX detection step, when looking for possible LaTeX sources in a tarball, that allows for capitalized file extensions.
- Tarball's and PDF's are now only harvested when needed.
Tibor Simko <tibor.simko@cern.ch> | Mar 25 2011, 16:16 |