docs/pbook.py: correct faulty check for PDF output