Merge remote-tracking branch 'origin/maint'

[bison.git] / doc / local.mk

diff --git a/doc/local.mk b/doc/local.mk
index f7a96c2324f6e960a09d5609d930f901cc04e309..54c03ebf2996f490ed55271cad10aad92a2a6345 100644 (file)
--- a/doc/local.mk
+++ b/doc/local.mk
@@ -14,7 +14,7 @@
 ## along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
 AM_MAKEINFOFLAGS = --no-split
-info_TEXINFOS = doc/bison.texinfo
+info_TEXINFOS = doc/bison.texi
 doc_bison_TEXINFOS =                            \
   $(CROSS_OPTIONS_TEXI)                         \
   doc/fdl.texi                                  \