[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] make-dist needs to ship lispref/index.texi
|
From: |
Jérôme Marant |
|
Subject: |
Re: [PATCH] make-dist needs to ship lispref/index.texi |
|
Date: |
Sat, 24 Jan 2004 12:25:13 +0100 |
|
User-agent: |
Gnus/5.1006 (Gnus v5.10.6) Emacs/21.3 (gnu/linux) |
Hi,
Since not be noone replied, was the patch wrong or is there any
reason why it shall not be applied?
Currently, it is not possible to build the lispref without
this index file. Could anyone fix this please?
TIA.
--
Jérôme Marant