fixed pantondoc options (new and old)
better equalprg for pantondoc