On Fri, Oct 30, 2015 at 8:58 AM, Camm Maguire <ca...@ma...> wrote:
> Greetings! Here is a rough attempt at replacing obsolete texi2html with
> makeinfo. If adopted, the makefiles and filenames would need changing.
> I have not examined the output in any detail for errors. Just basically
> reworked the scripts to give unique anchor names.
The patch doesn't apply cleanly, but after a minor change I can
apply it. make html does seem to generate a lot of stuff but
eventually fails with:
perl ./create_index
Can't open maxima_toc.html at ./create_index line 8.
make: *** [contents.hhc] Error 2
Looking at create_index, I guess it expects there to be a
maxima_toc.html with a certain structure. Poking around in
the stuff, that was produced, it looks like perhaps index.html has
the table of contents stuff? At any rate it seems like it will be
necessary to update create_index.
Also with this patch it looks there are 4000+ html files --
can they go into a subdirectory or temporary directory?
Thanks for working on this stuff.
best
Robert Dodier
|