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: [EMAIL PROTECTED]
