Bug 1718287

Summary:	Broken man pages for goto-cc
Product:	[Fedora] Fedora	Reporter:	Matej Grabovsky <mgrabovs>
Component:	cbmc	Assignee:	Jerry James <loganjerry>
Status:	CLOSED ERRATA	QA Contact:	Fedora Extras Quality Assurance <extras-qa>
Severity:	unspecified	Docs Contact:
Priority:	unspecified
Version:	rawhide	CC:	loganjerry
Target Milestone:	---
Target Release:	---
Hardware:	Unspecified
OS:	Unspecified
Whiteboard:
Fixed In Version:	cbmc-5.11-2.fc30	Doc Type:	If docs needed, set a value
Doc Text:		Story Points:	---
Clone Of:		Environment:
Last Closed:	2019-06-17 18:28:06 UTC	Type:	Bug
Regression:	---	Mount Type:	---
Documentation:	---	CRM:
Verified Versions:		Category:	---
oVirt Team:	---	RHEL 7.3 requirements from Atomic Host:
Cloudforms Team:	---	Target Upstream Version:
Embargoed:

Description Matej Grabovsky 2019-06-07 12:22:37 UTC

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.

Comment 1 Fedora Update System 2019-06-08 21:31:17 UTC

FEDORA-2019-aa4816e6a7 has been submitted as an update to Fedora 30. https://bodhi.fedoraproject.org/updates/FEDORA-2019-aa4816e6a7

Comment 2 Fedora Update System 2019-06-09 01:35:58 UTC

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

Comment 3 Fedora Update System 2019-06-17 18:28:06 UTC

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.