Is there any particular reason for why we always fetch docbook style sheets over HTTP when running "make README" ? I can tell you that it doesn't work well with lousy connections. The result is an empty README file - just a few blank lines. Maybe we should consider storing the versions we use in the docbook directory. /O