pdf miner done