This page has moved to a new address.

Adobe Acrobat PDF Printer output filename on 64-bit OS…