Mail Archives: djgpp/1998/06/22/01:30:32
Eli Zaretskii <eliz AT is DOT elta DOT co DOT il> wrote:
>Thanks. I tried this, and it generally works, but has a few problems:
>
> 1) The generated Texinfo file seem to be fragile and very sensitive
> to the exact format of the Interrupt List. For example, I tried
> it with release 55 of the Interrupt List, which caused two
> problems:
OK. The fact is that I used Interrupt List 57 as a base to do Int2TeX.
So, at first it should work with 57, but I also tested it with IntList
56, and it worked fine. Now, I will only be able to check Int2TeX
convertion capabilities with IntList 58, and see if it is robust!
> Since the Interrupt List is an evolving product, I think the
> converter should be made more robust to changes in both format
> and contents of the distribution. In particular, missing files
> shouldn't trigger fatal errors, they should just cause the
> corresponding chapter be omitted, with a suitable warning. (It
> is very frustrating to get such a fatal error after some 15
> minutes of run time.)
Yes, this is a thing that I have to correct. I'm deleting "dead code"
and optimizing the converter to do the convertion more quickly.
I'm also doing some other thing's that will do a final info file,
small in space, and quickly to access, and also less memory will be
used loading the file.
> 2) It would be nice if the docs would say something about those
> funny numbers, dots and dashes which are printed while the
> program runs. I can guess what they mean, but it would be nice
> to just *know*.
Hehehe. ok, I'll put the meaning of that things in the docs next time.
By the way, the numbers are every INT being processed (seeing that you
can see that the processing needs to be faster). When dashes are being
printed that means that all topics are being processed. The points
means that data is being transfered!
Resuming, 80% of time it's being losted with topics check and menu
items consctruction, and other 20% are being used for transfering
data!
Fernando J.A. Silva (aka ^Magico^)
----[ Philosophies ]----
The past it's important, and we shouldn't forget it!
But it's also important live the present to do a better future
- Raw text -