This file is only included to make sure the automatic tests can be executed
whether the documentation has been compiled or not.
