From mboxrd@z Thu Jan  1 00:00:00 1970
Path: news.gmane.io!.POSTED.ciao.gmane.io!not-for-mail
From: Eli Zaretskii <eliz@gnu.org>
Newsgroups: gmane.emacs.devel
Subject: Re: Nicer looking Info - html manual +css
Date: Sun, 19 Jan 2020 18:38:43 +0200
Message-ID: <83v9p7xuy4.fsf@gnu.org>
References: <AyNC7w.GjSuLuYr6w3.xM7gsPtfwSpgwtaXGe@freemail.hu>
 <7930E155-E181-4D4C-B39E-5A05F732D667@traduction-libre.org>
 <AyNOg.Hz0SWbetEYsn.tDIls3xDQGPNB5McfzmJ@freemail.hu>
 <CADwFkmmy9quZ95LH23opi8CfR81qD5zjbwAQqGw3yyS7Jcn25A@mail.gmail.com>
 <AyNU6A.i4JlIQSe8Wg2.G5CwSO8b3Typ6DFIZdN@freemail.hu>
 <83a76jzdd2.fsf@gnu.org>
 <AyNZiA.sBvWzQCGvkJF.4hYsEuRwuoMEacNHO66I@freemail.hu>
Injection-Info: ciao.gmane.io; posting-host="ciao.gmane.io:159.69.161.202";
	logging-data="106028"; mail-complaints-to="usenet@ciao.gmane.io"
Cc: stefan@marxist.se, emacs-devel@gnu.org
To: ndame <emacsuser@freemail.hu>
Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Sun Jan 19 17:39:14 2020
Return-path: <emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org>
Envelope-to: ged-emacs-devel@m.gmane-mx.org
Original-Received: from lists.gnu.org ([209.51.188.17])
	by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
	(Exim 4.92)
	(envelope-from <emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org>)
	id 1itDbV-000RXE-Ad
	for ged-emacs-devel@m.gmane-mx.org; Sun, 19 Jan 2020 17:39:13 +0100
Original-Received: from localhost ([::1]:51448 helo=lists1p.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.90_1)
	(envelope-from <emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org>)
	id 1itDbU-0001sk-DL
	for ged-emacs-devel@m.gmane-mx.org; Sun, 19 Jan 2020 11:39:12 -0500
Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:51174)
 by lists.gnu.org with esmtp (Exim 4.90_1)
 (envelope-from <eliz@gnu.org>) id 1itDax-0001OH-S2
 for emacs-devel@gnu.org; Sun, 19 Jan 2020 11:38:40 -0500
Original-Received: from fencepost.gnu.org ([2001:470:142:3::e]:37340)
 by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from <eliz@gnu.org>)
 id 1itDax-0004tl-6v; Sun, 19 Jan 2020 11:38:39 -0500
Original-Received: from [176.228.60.248] (port=1438 helo=home-c4e4a596f7)
 by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256)
 (Exim 4.82) (envelope-from <eliz@gnu.org>)
 id 1itDaw-0004aH-LR; Sun, 19 Jan 2020 11:38:39 -0500
In-reply-to: <AyNZiA.sBvWzQCGvkJF.4hYsEuRwuoMEacNHO66I@freemail.hu> (message
 from ndame on Sun, 19 Jan 2020 15:53:31 +0000 (GMT))
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic]
X-BeenThere: emacs-devel@gnu.org
X-Mailman-Version: 2.1.23
Precedence: list
List-Id: "Emacs development discussions." <emacs-devel.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/emacs-devel>,
 <mailto:emacs-devel-request@gnu.org?subject=unsubscribe>
List-Archive: <https://lists.gnu.org/archive/html/emacs-devel>
List-Post: <mailto:emacs-devel@gnu.org>
List-Help: <mailto:emacs-devel-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/emacs-devel>,
 <mailto:emacs-devel-request@gnu.org?subject=subscribe>
Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org
Original-Sender: "Emacs-devel"
 <emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org>
Xref: news.gmane.io gmane.emacs.devel:244379
Archived-At: <http://permalink.gmane.org/gmane.emacs.devel/244379>

> Date: Sun, 19 Jan 2020 15:53:31 +0000 (GMT)
> From: ndame <emacsuser@freemail.hu>
> Cc: "emacs-devel@gnu.org" <emacs-devel@gnu.org>,
> 	"stefan@marxist.se" <stefan@marxist.se>
> 
> So if I'm not mistaken when the emacs info files are created, the
> @example tag is dropped completely from the output.

Yes.

> If this is the
> case then it could be better to keep the @example tags in some form in
> the emacs info output too and hide them with a face, for example. 

If this is what you propose, then you should discuss this with the
Texinfo developers, not with Emacs developers.  We don't develop and
don't maintain the tools used to produce the Info manuals from their
Texinfo sources.  We just write the Texinfo sources and then invoke
the Texinfo processors to produce the Info format.