when i downloaded with wget --mirror, it left index.html files that
break building.
i have removed them.
i am rebasing all the commits so as to put the removal prior to the
changes, so that a patch can be formed easily from the git history
later.

Reply via email to