Version-Release number of selected component (if applicable):
Steps to Reproduce:
1. export an arbitrary TeXmacs document as PDF
A PostScript file will be generated instead
A PDF file should be generated
TeXmacs-188.8.131.52-1.fc17 has been submitted as an update for Fedora 17.
TeXmacs-184.108.40.206-1.fc18 has been submitted as an update for Fedora 18.
This seems to be fixed in the current version of the package.
TeXmacs-220.127.116.11-1.fc17 has been pushed to the Fedora 17 stable repository. If problems still persist, please make note of it in this bug report.
TeXmacs-18.104.22.168-1.fc18 has been pushed to the Fedora 18 stable repository. If problems still persist, please make note of it in this bug report.