[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [help-texinfo] TexInfo to XML conversion not working
|
From: |
Charlie Zender |
|
Subject: |
Re: [help-texinfo] TexInfo to XML conversion not working |
|
Date: |
Mon, 10 Nov 2003 10:10:59 -0800 |
|
User-agent: |
Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.5) Gecko/20031024 Debian/1.5-2 |
Thanks. Any idea how long until the patched makeinfo makes it into
Debian unstable?
Charlie
--
Charlie Zender, zender at uci dot edu, (949) 824-2987, Department of
Earth System Science, University of California, Irvine CA 92697-3100