[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
make doc
|
From: |
Jean-Charles Malahieude |
|
Subject: |
make doc |
|
Date: |
Sun, 31 Jul 2011 18:29:33 +0200 |
|
User-agent: |
Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.9.2.18) Gecko/20110621 Fedora/3.1.11-1.fc14 Thunderbird/3.1.11 |
Hi Phil,
I don't know if this is in relation with your work on
extract_texi_filenames.py and don't remember if it was spitted before.
Many of the calls to this script, especially each time it will process
an out-www/web.texi I get something weird with "searchpath":
No such file: file.itexi
Search path: .:./out-www:.
I'm in sync with 54b02666750062788185bd3f99e644d621e348c2
and about to push some xref-fixes on the French version.
If interested, the 10 Mo of logs are available.
Cheers,
Jean-Charles
- make doc,
Jean-Charles Malahieude <=