From bdec22166062be673f9874dff9cb9d1e847ec06b Mon Sep 17 00:00:00 2001
From: Martin Teichmann <martin.teichmann@xfel.eu>
Date: Mon, 10 Feb 2025 13:05:03 +0100
Subject: [PATCH 1/3] write the spinx-build directly into the gitlab ci
---
.gitlab-ci.yml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 8739cab..27207e0 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -4,7 +4,7 @@ image: sphinxdoc/sphinx
before_script: []
pages:
script:
- - make html
+ - sphinx-build html doc public
artifacts:
paths:
# The folder that contains the files to be exposed at the Page URL
--
GitLab
From 137708670a2deb970b585a55e674c13fa27a24cf Mon Sep 17 00:00:00 2001
From: Martin Teichmann <martin.teichmann@xfel.eu>
Date: Mon, 10 Feb 2025 13:05:30 +0100
Subject: [PATCH 2/3] Delete Makefile
---
doc/Makefile | 19 -------------------
1 file changed, 19 deletions(-)
delete mode 100644 doc/Makefile
diff --git a/doc/Makefile b/doc/Makefile
deleted file mode 100644
index 5c37cfa..0000000
--- a/doc/Makefile
+++ /dev/null
@@ -1,19 +0,0 @@
-# Minimal makefile for Sphinx documentation
-#
-
-# You can set these variables from the command line.
-SPHINXOPTS =
-SPHINXBUILD = sphinx-build
-SOURCEDIR = .
-BUILDDIR = public
-
-# Put it first so that "make" without argument is like "make help".
-help:
- @$(SPHINXBUILD) -M help "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
-
-.PHONY: help Makefile
-
-# Catch-all target: route all unknown targets to Sphinx using the new
-# "make mode" option. $(O) is meant as a shortcut for $(SPHINXOPTS).
-%: Makefile
- @$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
\ No newline at end of file
--
GitLab
From 555995099f6b18665e5a4af695d13dc0d3ef2728 Mon Sep 17 00:00:00 2001
From: Martin Teichmann <martin.teichmann@xfel.eu>
Date: Mon, 10 Feb 2025 13:05:41 +0100
Subject: [PATCH 3/3] Delete make.bat
---
doc/make.bat | 35 -----------------------------------
1 file changed, 35 deletions(-)
delete mode 100644 doc/make.bat
diff --git a/doc/make.bat b/doc/make.bat
deleted file mode 100644
index 27f573b..0000000
--- a/doc/make.bat
+++ /dev/null
@@ -1,35 +0,0 @@
-@ECHO OFF
-
-pushd %~dp0
-
-REM Command file for Sphinx documentation
-
-if "%SPHINXBUILD%" == "" (
- set SPHINXBUILD=sphinx-build
-)
-set SOURCEDIR=.
-set BUILDDIR=_build
-
-if "%1" == "" goto help
-
-%SPHINXBUILD% >NUL 2>NUL
-if errorlevel 9009 (
- echo.
- echo.The 'sphinx-build' command was not found. Make sure you have Sphinx
- echo.installed, then set the SPHINXBUILD environment variable to point
- echo.to the full path of the 'sphinx-build' executable. Alternatively you
- echo.may add the Sphinx directory to PATH.
- echo.
- echo.If you don't have Sphinx installed, grab it from
- echo.http://sphinx-doc.org/
- exit /b 1
-)
-
-%SPHINXBUILD% -M %1 %SOURCEDIR% %BUILDDIR% %SPHINXOPTS%
-goto end
-
-:help
-%SPHINXBUILD% -M help %SOURCEDIR% %BUILDDIR% %SPHINXOPTS%
-
-:end
-popd
--
GitLab