Switch to new documentation server #694

Merged

mohr merged 16 commits from mohr/documentation_ci into development 2022-09-30 15:05:20 +02:00

Conversation 0 Commits 16 Files Changed 5 +21 -12

16 Commits

Author	SHA1	Message	Date
Ulrich Mohr	d964fa2107	Merge branch 'development' into mohr/documentation_ci	2022-09-30 14:50:20 +02:00
Ulrich Mohr	7b5ae6a445	done?	2022-09-30 14:40:59 +02:00
Ulrich Mohr	8e362a000c	Revert "one last check" ... This reverts commit 7877776e24.	2022-09-30 14:36:25 +02:00
Ulrich Mohr	7877776e24	one last check	2022-09-30 14:34:25 +02:00
Ulrich Mohr	775d5632de	update to ssh connection to doc server	2022-09-23 20:26:45 +02:00
Ulrich Mohr	4f3361eb2b	another ci check	2022-09-23 18:33:47 +02:00
Ulrich Mohr	9e6c1d60e5	another ci check	2022-09-23 17:54:41 +02:00
Ulrich Mohr	12d0c23c13	Revert "testing deployment of documentation" ... This reverts commit 5488ee715f.	2022-09-23 17:31:17 +02:00
Ulrich Mohr	5c3bb13834	Revert "testing deployment of both development and master doc" ... This reverts commit c0000a8635.	2022-09-23 17:31:07 +02:00
Ulrich Mohr	292fe3e5e4	forgot epilog file	2022-09-23 17:11:57 +02:00
Ulrich Mohr	33530f2819	adding Impressum and Datenschutz to lcov output	2022-09-23 17:04:35 +02:00
Ulrich Mohr	c0000a8635	testing deployment of both development and master doc	2022-09-23 14:14:10 +02:00
Ulrich Mohr	5488ee715f	testing deployment of documentation	2022-09-23 14:07:12 +02:00
Ulrich Mohr	0fea22d031	switching to rsync and deploying to web documentation	2022-09-23 14:06:28 +02:00
Ulrich Mohr	3b8ca09299	prepared docker for documentation rsync	2022-09-23 13:46:03 +02:00
Ulrich Mohr	9a2146fa2d	added impressum and datenschutz in sphinx documentation	2022-09-23 11:36:29 +02:00