Include the in installation section in doxec CI execution to check that the installation paths are correct.