Agile Docs is a user story PDF generator for Pivotal Tracker. Turn a selection of your user stories into a well-formatted PDF document.
You may also choose to use the Chrome extension version of Agile Docs. This adds a PDF button to the multiple stories selection tools (CSV, clone, delete…). Clicking PDF generates a PDF document of the selected stories.