Bug 230652

Summary: missing dejagnu.info
Product: [Fedora] Fedora Reporter: Frank Ch. Eigler <fche>
Component: dejagnuAssignee: Petr Machata <pmachata>
Status: CLOSED RAWHIDE QA Contact:
Severity: medium Docs Contact:
Priority: medium    
Version: 6CC: mnewsome, tromey
Target Milestone: ---   
Target Release: ---   
Hardware: All   
OS: Linux   
Whiteboard:
Fixed In Version: Doc Type: Bug Fix
Doc Text:
Story Points: ---
Clone Of: Environment:
Last Closed: 2007-03-07 12:54:40 UTC Type: ---
Regression: --- Mount Type: ---
Documentation: --- CRM:
Verified Versions: Category: ---
oVirt Team: --- RHEL 7.3 requirements from Atomic Host:
Cloudforms Team: --- Target Upstream Version:

Description Frank Ch. Eigler 2007-03-01 22:23:55 UTC
dejagnu's texinfo documentation does not appear to be built/packaged,
even though e.g. runtest.1 says it should be there.

dejagnu.noarch                           1:1.4.4-5.1            installed

Comment 1 Petr Machata 2007-03-07 12:54:40 UTC
This is written in doc/Makefile in the dejagnu distribution:

# FIXME: We need to generate an info doc from SGML somehow, but for
# now, don't install the old texinfo document from version 1.3
# info_TEXINFOS = dejagnu.texi

I "fixed" it by removing the mentions of dejagnu.info from the manpage.  Note
that dejagnu ships pdf document (/usr/share/doc/dejagnu-1.4.4/overview.pdf) with
detailed description, which can be in limited way used as a dejagnu.info
replacement.

Comment 2 Tom Tromey 2007-11-09 18:33:36 UTC
I looked at the dejagnu cvs repository, and now they seem to generate
dejagnu.texi from the xml:

doc/dejagnu.texi: $(XML)
	$(DOCBOOK2TEXI) --string-param directory-description="The GNU testing
framework." --string-param directory-category="Programming"
$(srcdir)/doc/dejagnu.xml
	mv dejagnu.texi $(srcdir)/doc

... so, would you mind restoring the info file?  Like many Emacs users,
I find info to be much friendlier than the alternative formats -- certainly
much more usable than a PDF.

I can file a new bug if you'd prefer.

Comment 3 Petr Machata 2007-11-12 17:05:31 UTC
Updated in rawhide, waiting for push in F8. Ok for you?

Comment 4 Tom Tromey 2007-11-12 20:09:00 UTC
Sounds great!
FWIW I checked rawhide but didn't see it; I'll check again in a couple days.

Comment 5 Fedora Update System 2007-11-13 00:09:06 UTC
dejagnu-1.4.4-11.fc8 has been pushed to the Fedora 8 stable repository.  If problems still persist, please make note of it in this bug report.