Date: Thu, 6 Feb 2003 19:24:08 +0200 (IST)
From: Eli Zaretskii <eliz AT is DOT elta DOT co DOT il>
X-Sender: eliz AT is
To: Esa A E Peuha <peuha AT cc DOT helsinki DOT fi>
cc: djgpp-workers AT delorie DOT com
Subject: Re: Add @tindex for types in docs [PATCH]
In-Reply-To: <Pine.OSF.4.51.0302061313110.25275@sirppi.helsinki.fi>
Message-ID: <Pine.SUN.3.91.1030206192333.17951C-100000@is>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
Reply-To: djgpp-workers AT delorie DOT com
Errors-To: nobody AT delorie DOT com
X-Mailing-List: djgpp-workers AT delorie DOT com
X-Unsubscribes-To: listserv AT delorie DOT com
Precedence: bulk


On Thu, 6 Feb 2003, Esa A E Peuha wrote:

> I realize that, but the .txh files are only read by mkdoc, and mkdoc
> already uses @node with syntax that is far from that of Texinfo, and
> @portability and @port-note which have no Texinfo equivalents.  So using
> another @-construct to tell mkdoc how to handle the node wouldn't be any
> more problematic with Texinfo.

If you meant that @mkdoc will be followed by some info, I don't object to 
such a change.