I'm looking for a tool to add logical page numbers (referred to as page labels sometimes) to an existing PDF. I read a lot of long manuals in PDF and frequently the page numbers in the table of content and index do not respond well to the page numbering of the document which makes it arduous to navigate the PDF.

I asked this questions before in a Debian-specific forum but so far without success, so I want to bring it up to a broader community now.

My websearch on this topic has brought up some Windows tool that seem to do the job (A PDF Number, PDF Page Number). For Linux, I know pdftk and mbtPdfAsm, but neither seems to implement page labels.

Cheers, kai