Le 16 juin 2012 à 23:29, Stefano Lattarini a écrit : > diff --git a/automake.in b/automake.in > index 45f70eb..dbff5a8 100644 > --- a/automake.in > +++ b/automake.in > @@ -2796,7 +2796,7 @@ sub scan_texinfo_file ($) > next if $outfile; > > $outfile = $1; > - if ($outfile =~ /\.([^.]+)$/ && $1 ne 'info') > + if ($outfile !~ /\.info$/)
We used to support info files without extension??? > diff --git a/t/txinfo17.sh b/t/txinfo17.sh > index a1fc0ec..f743853 100755 > --- a/t/txinfo17.sh > +++ b/t/txinfo17.sh > @@ -24,7 +24,7 @@ info_TEXINFOS = texinfo.texi > END > > cat > texinfo.texi << 'END' > -@setfilename texinfo > +@setfilename texinfo.info Wow... That should go into the NEWS file, no?
