diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 6c68dc366515c400116a6779376e99a0c30de69c..9fd83eb6d8c67991c6331497f62131a0fc9d3df8 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -10,7 +10,7 @@ stages: job_build_homepage: stage: build_homepage - script: "make -C doc doc; scp -r doc/html xerusweb:libxerus.org-443" + script: "cp .config.mk.ci.gcc config.mk; make -C doc doc; scp -r doc/html xerusweb:libxerus.org-443" when: always only: - master diff --git a/include/xerus.h b/include/xerus.h index 87e471ee22ea92a7b5df4e75e6b82e57dab0fe2e..6e7cd289501cf1ddf3d429f9ebd499b8c386847f 100644 --- a/include/xerus.h +++ b/include/xerus.h @@ -60,7 +60,6 @@ #include "xerus/algorithms/adf.h" #include "xerus/algorithms/uqAdf.h" #include "xerus/algorithms/iht.h" - #include "xerus/algorithms/crossApproximation.h" #include "xerus/algorithms/largestEntry.h" #include "xerus/examples/specificLowRankTensors.h"