From 18e86e24b671086e0c0c8c13fbad93a1bbf28d18 Mon Sep 17 00:00:00 2001
From: Eli Zaretskii <eliz@gnu.org>
Date: Fri, 25 May 2012 13:21:30 +0300
Subject: [PATCH] Follow-up for 2012-05-04T06:45:03Z!rgm@gnu.org.

 msdos/sed6.inp (INFO_EXT): Edit to .info.
 (INFO_OPTS): Edit to --no-split.
---
 msdos/ChangeLog | 5 +++++
 msdos/sed6.inp  | 2 ++
 2 files changed, 7 insertions(+)

diff --git a/msdos/ChangeLog b/msdos/ChangeLog
index 2b56315c1a3..ae72d182803 100644
--- a/msdos/ChangeLog
+++ b/msdos/ChangeLog
@@ -1,3 +1,8 @@
+2012-05-25  Eli Zaretskii  <eliz@gnu.org>
+
+	* sed6.inp (INFO_EXT): Edit to .info.
+	(INFO_OPTS): Edit to --no-split.
+
 2012-05-22  Paul Eggert  <eggert@cs.ucla.edu>
 
 	Remove src/m/*.
diff --git a/msdos/sed6.inp b/msdos/sed6.inp
index 6d44f995307..22052140b82 100644
--- a/msdos/sed6.inp
+++ b/msdos/sed6.inp
@@ -19,6 +19,8 @@
 /^srcdir *=/s/@[^@\n]*@/./
 /^VPATH *=/s/@[^@\n]*@/./
 /^MAKEINFO *=/s/@[^@\n]*@/makeinfo/
+/^INFO_EXT *=/s/@[^@\n]*@/.info/
+/^INFO_OPTS *=/s/@[^@\n]*@/--no-split/
 /^ENVADD/,/^$/c\
 ENVADD =\
 export TEXINPUTS := $(srcdir)";"$(TEXINPUTS)\
-- 
2.39.2