Gulliver
|
81d2b1d078
|
add documentation generation and deployment action
added target-folder to github deploy
fixed debian install command
|
2023-06-15 09:08:07 +02:00 |
|
Gulliver
|
acfc581d32
|
build on each push enabled for testing
|
2023-06-14 11:29:58 +02:00 |
|
Gulliver
|
f6805296ae
|
adapted doxygen config and markdown links to in source build of documentation
added cloning of doxygen theme
|
2023-06-14 11:29:58 +02:00 |
|
Gulliver
|
710efd292b
|
add documentation generation and deployment action
added target-folder to github deploy
fixed debian install command
|
2023-06-14 11:29:58 +02:00 |
|