URL:
<http://savannah.gnu.org/bugs/?45602>
Summary: makeinfo could warn when given a file with a .info
suffix
Project: texinfo - GNU documentation system
Submitted by: gavin
Submitted on: Wed 22 Jul 2015 10:20:46 AM GMT
Category: makeinfo
Release:
Priority: 5 - Normal
Severity: 1 - Wish
Item Group: None
Privacy: Public
Open/Closed: Open
Assigned to: None
Discussion Lock: Any
Status: None
_______________________________________________________
Details:
Sometimes I write "makeinfo FILE.info" when I meant to write "makeinfo
FILE.texi" instead, and end up with a file "file.info.info" being created.
(The warning I get is that the Info file has no nodes.) Maybe makeinfo could
issue a warning that running it on a file with a .info suffix probably wasn't
intended. Alternatively, maybe it could even go looking for a file "FILE.texi"
when invoked as "makeinfo FILE.info" and use that instead.
I think this is an easy mistake to make because in my mind I am "*make*ing an
*info* file, *FILE.info*" which turns into "makeinfo FILE.info".
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?45602>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
