[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bugs #12137] Texinfo source distribution missing version.texi
From: |
Aaron Hawley |
Subject: |
[bugs #12137] Texinfo source distribution missing version.texi |
Date: |
Fri, 25 Feb 2005 15:32:46 +0000 |
User-agent: |
Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.8a5) Gecko/20041122 |
URL:
<http://savannah.gnu.org/bugs/?func=detailitem&item_id=12137>
Summary: Texinfo source distribution missing version.texi
Project: findutils
Submitted by: ashawley
Submitted on: Fri 02/25/2005 at 15:32
Category: documentation
Severity: 5 - Average
Item Group: Compilation Failure
Status: None
Privacy: Public
Assigned to: None
Originator Name:
Originator Email:
Open/Closed: Open
Release: 4.2.18
Fixed Release: None
_______________________________________________________
Details:
The texinfo source distribution located here:
http://www.gnu.org/software/findutils/manual/find.html
is missing the version.texi file, and is not usable by Texinfo tools. Here's
the error I see:
$ makeinfo find.texi
find.texi:9: @include `version.texi': No such file or directory.
find.texi:76: warning: undefined flag: EDITION.
find.texi:76: warning: undefined flag: VERSION.
makeinfo: Removing output file `find.info' due to errors; use --force to
preserve.
My guess is that `gendoc.sh' was before before `autoconf' create
`version'.texi.
Thanks.
_______________________________________________________
This item URL is:
<http://savannah.gnu.org/bugs/?func=detailitem&item_id=12137>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
- [bugs #12137] Texinfo source distribution missing version.texi,
Aaron Hawley <=