There is actually no way of doing that, but I add it on the TODO list.
If you have good PHP knowledge I think that the best way is to create a new plugin, this plugin must add a button on the frontend and onCLick on this button call a function to have all the products, format the data and then export is as PDF.
