[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: |
Karl Berry |
|
Subject: |
[bug #45602] makeinfo could warn when given a file with a .info suffix |
|
Date: |
Thu, 23 Jul 2015 17:57:00 +0000 |
|
User-agent: |
Mozilla/5.0 (X11; Linux i686; rv:36.0) Gecko/20100101 Firefox/36.0 SeaMonkey/2.33.1 |
Follow-up Comment #1, bug #45602 (project texinfo):
i'm not enchanted with starting down the road of determining file names
implicitly. that "feature" has caused endless hassle with tex.
however, a warning when foo.info is given as the input name seems good to me.
i think such could even be a no-op unless --force is given.
by the way, i don't think i've ever made this particular typo. does your
filename completion ignore .info*? i think that's what saves me from it.
anyway.
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?45602>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/