../../../aux/broccoli/doc/broccoli-manual.rst