Misc plugins

Some plugins that do not belong to any other category.

copy — Copy files at the end of compilation

In the copy section of the setup file, each option starting with copy is a copy instruction: the first words are source paths, the last one is the destination path. All paths (source and destination) are relative to the directory of the setup file.

Consider the source path foo and the destination path dest.

• If the source is a file, it is copied into the destination: foo is copied to dest/foo.

• If the source is a directory, its content is copied into the destination: foo/bar is copied to dest/bar.

Pattern matching is performed to the source files:

• ?: a single character;

• *: everything, excepted directory separators;

• **: everything, including directory separators;

• [seq] any characteur in seq.

Example

[copy]
copy_foo = foo* bar baz
copy_toto =
  toto
  titi*
  tata

debug.hooks — Print hook calls

This plugins can help writing new plugins: it prints to standard output each hook, and a few more things.