Re: texi2html tests are huge

[Karl Berry]

    I prefer a make target, but I guess Karl is should chose.

I don't feel strongly about it.

Also, as I said before, it is ok with me to drop the whole idea and just
run all the tests every time.  Since, as we already know, users will
generally not have the prerequisite packages and therefore no tests will
be run at all.

Whatever you want to do.

    many corner cases are tested that should not happen in real life manuals.

If a division is made, according to my original theory I think it would
be better to divide them into "tests that take a long time to run" and
"tests that are quick", rather than "tests that are important"
vs. unimportant.

Thanks,
k