Description of problem: Man pages for `goto-cc` and `goto-instrument` are broken in the current release. They source the file `/usr/share/man/man1/cbmc` which does not exist. Version-Release number of selected component (if applicable): 5.11-1.fc30 How reproducible: Completely. Steps to Reproduce: 1. Type `man goto-cc goto-instrument` into the terminal and press Enter. Actual results: Neither of the man pages can be opened. Expected results: Both man pages lead to the primary cbmc man page.
FEDORA-2019-aa4816e6a7 has been submitted as an update to Fedora 30. https://bodhi.fedoraproject.org/updates/FEDORA-2019-aa4816e6a7
cbmc-5.11-2.fc30 has been pushed to the Fedora 30 testing repository. If problems still persist, please make note of it in this bug report. See https://fedoraproject.org/wiki/QA:Updates_Testing for instructions on how to install test updates. You can provide feedback for this update here: https://bodhi.fedoraproject.org/updates/FEDORA-2019-aa4816e6a7
cbmc-5.11-2.fc30 has been pushed to the Fedora 30 stable repository. If problems still persist, please make note of it in this bug report.