[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: exdent
From: |
Eli Zaretskii |
Subject: |
Re: exdent |
Date: |
Mon, 20 May 2002 10:25:19 +0300 (IDT) |
On Mon, 20 May 2002, Karl Eichwalder wrote:
> Personally, I vote to avoid exdent tricks at all; if it's really
> necessary we shall invent a special itemized example environment.
I'm not sure I understand: are you saying we should stop supporting
something that used to work in Texinfo since time immemoriam? And that
we should do that for the sole reason of leaving the indentation inside
<pre> blocks to the browser?