Bug 230652 - missing dejagnu.info
Summary: missing dejagnu.info
Keywords:
Status: CLOSED RAWHIDE
Alias: None
Product: Fedora
Classification: Fedora
Component: dejagnu
Version: 6
Hardware: All
OS: Linux
medium
medium
Target Milestone: ---
Assignee: Petr Machata
QA Contact:
URL:
Whiteboard:
Depends On:
Blocks:
TreeView+ depends on / blocked
 
Reported: 2007-03-01 22:23 UTC by Frank Ch. Eigler
Modified: 2015-05-05 01:33 UTC (History)
2 users (show)

Fixed In Version:
Doc Type: Bug Fix
Doc Text:
Clone Of:
Environment:
Last Closed: 2007-03-07 12:54:40 UTC
Type: ---
Embargoed:


Attachments (Terms of Use)

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.


Note You need to log in before you can comment on or make changes to this bug.