Le mardi 24 novembre 2009 à 21:20 +0000, Graham Percival a écrit : > On the 16th, I gave up and fixed this one myself. However, I > discovered that I couldn't copy files from srcdir into the blddir > without changing their name, which kind-of borks > Documentation/pictures/.
I'm quite certain we can avoid copying pictures from outdir to blddir; however, if more generally we can't transform a file in srcdir to a file in blddir that has the same name, let's sit down two minutes to see why we do this. It's not for making the pictures available to Texinfo formatters, as a simple -I srcdir (which we already have in current build system IIRC) would do the job. For some pictures, we resize them, but then for clarity we could give a different name to the source. For other pictures, IIRC we just symlink them so that they're caught by mirrortree (a module used by www_post.py that links files into *-root). Is it worth going on investigating this? I think so, so I'll have a look. Best, John
signature.asc
Description: Ceci est une partie de message numériquement signée
_______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org http://lists.gnu.org/mailman/listinfo/lilypond-devel
