diff --git a/.github/workflows/build-push.yml b/.github/workflows/build-push.yml index 02701aaec..0a1c92394 100644 --- a/.github/workflows/build-push.yml +++ b/.github/workflows/build-push.yml @@ -30,6 +30,7 @@ jobs: with: file: ./Docker/Dockerfile context: . + platforms: linux/amd64 push: true tags: expolab/resdb:amd64 @@ -39,5 +40,6 @@ jobs: with: file: ./Docker/Dockerfile_mac context: . + platforms: linux/arm64 push: true - tags: expolab/resdb:arm64 \ No newline at end of file + tags: expolab/resdb:arm64 diff --git a/documents/doxygen/Doxyfile b/documents/doxygen/Doxyfile index 547a34fcd..28d73cf4c 100644 --- a/documents/doxygen/Doxyfile +++ b/documents/doxygen/Doxyfile @@ -42,7 +42,7 @@ DOXYFILE_ENCODING = UTF-8 # title of most generated pages and in a few other places. # The default value is: My Project. -PROJECT_NAME = ResilientDB +PROJECT_NAME = ResilientDB # The PROJECT_NUMBER tag can be used to enter a project or revision number. This # could be handy for archiving the generated documentation or if some version @@ -1330,7 +1330,7 @@ HTML_FILE_EXTENSION = .html # of the possible markers and block names see the documentation. # This tag requires that the tag GENERATE_HTML is set to YES. -HTML_HEADER = +HTML_HEADER = header # The HTML_FOOTER tag can be used to specify a user-defined HTML footer for each # generated HTML page. If the tag is left blank doxygen will generate a standard diff --git a/documents/doxygen/header b/documents/doxygen/header new file mode 100644 index 000000000..7fd1bd266 --- /dev/null +++ b/documents/doxygen/header @@ -0,0 +1,60 @@ + + + +
+ + + + +