On Sun, Aug 28, 2005 at 09:41:37PM +0200, André Malo wrote:
> * Colm MacCarthaigh wrote:
>
> > dist/tools/roll.sh currently has;
> >
> > echo ""
> > echo "Removing Manual Files."
> > echo ""
> > find $dirname/docs/manual -name \*.xml -print | xargs rm -rf
> >
> > Which is incompatible with the current layout of docs, but which is the
> > right way to fix it?
>
> Hmm. What's the incompatibility?
It doesn't remove the xml.meta, xml.de, xml.ja, and so on files. This
invalidates the .meta files and orphans the non-english ones.
> > Why remove the XML files at all? it's not like they take up much space,
> > and they compress super efficiently when you consider most of the text
> > has a verbatim copy in the HTML version.
>
> I suggest measuring.
Adds 2.1MB, uggh.
--
Colm MacCárthaigh Public Key: colm+pgp@stdlib.net
|