[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug #45602] makeinfo could warn when given a file with a .info suffix
From: |
Gavin D. Smith |
Subject: |
[bug #45602] makeinfo could warn when given a file with a .info suffix |
Date: |
Wed, 22 Jul 2015 10:20:47 +0000 |
User-agent: |
Mozilla/5.0 (X11; Linux i686) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/36.0.1985.125 Safari/537.36 |
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/
- [bug #45602] makeinfo could warn when given a file with a .info suffix,
Gavin D. Smith <=