-
Notifications
You must be signed in to change notification settings - Fork 266
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Move drmemory.org to Github Pages, with automatic doxygen docs deployment from Travis #2260
Labels
Comments
derekbruening
added a commit
that referenced
this issue
Feb 17, 2020
Adds a copy_docs parameter to package.cmake, which copies the html/ docs dir to the top level for access by Travis. Adds a DEPLOY_DOCS env var which directs Travis and runsuite_wrapper.pl to enable this. Adds uploading of the html/ directory to the drmemory_docs Github Pages repository via the Travis "pages" provider. Issue: #2260
derekbruening
added a commit
that referenced
this issue
Feb 17, 2020
Adds a copy_docs parameter to package.cmake, which copies the html/ docs dir to the top level for access by Travis. Adds a DEPLOY_DOCS env var which directs Travis and runsuite_wrapper.pl to enable this. Adds uploading of the html/ directory to the drmemory_docs Github Pages repository via the Travis "pages" provider. Reinstates the header and footer pages incorrectly removed by 42b0a02 to satisfy warnings in newer doxygens. Instead we create empty files up front. Issue: #2260
derekbruening
added a commit
that referenced
this issue
Feb 18, 2020
Fixes an incorrect env var name for triggering our docs deployment. Issue: #2260
derekbruening
added a commit
that referenced
this issue
Feb 18, 2020
Fixes an incorrect env var name for triggering our docs deployment. Issue: #2260
derekbruening
added a commit
that referenced
this issue
Feb 18, 2020
Replaces the token with one targeting the drmemory repo, as apparently the encryption is per-repository. Issue: #2260
Success, after several tries:
And https://dynamorio.org/drmemory_docs/ says "2.3.18309" |
derekbruening
added a commit
that referenced
this issue
Mar 28, 2021
Copies DynamoRIO's method of producing doxygen suitable for embedding in Github Pages jekyll. Since we need custom menu tweaking, we now use our own copy of CMake_rundoxygen rather than sharing DR's as-is. Issue: #2260
derekbruening
added a commit
that referenced
this issue
Mar 29, 2021
Copies DynamoRIO's method of producing doxygen suitable for embedding in Github Pages jekyll. Since we need custom menu tweaking, we now use our own copy of CMake_rundoxygen rather than sharing DR's as-is. Issue: #2260
derekbruening
added a commit
that referenced
this issue
Jun 27, 2021
Adds a Github Action script to generate the drmemory.org web content. This can't be tested on a branch, so this will have to be merged and any fixes or fine-tuning done separately. Issue: #2260
derekbruening
added a commit
that referenced
this issue
Jun 27, 2021
Adds a Github Action script to generate the drmemory.org web content. This can't be tested on a branch, so this will have to be merged and any fixes or fine-tuning done separately. Issue: #2260
derekbruening
added a commit
that referenced
this issue
Jun 27, 2021
Fixes issues with the initial commit of the Action to generate the new web content: - Wrong path to runsuite_wrapper.pl Removes the old drmemory_docs generation step from the ci-package action. Issue: #2260
derekbruening
added a commit
that referenced
this issue
Jun 27, 2021
Fixes issues with the initial commit of the Action to generate the new web content: - Wrong path to runsuite_wrapper.pl - Add missing submodules - Add package.cmake copy of embedded docs - Add error checking for an empty glob - Fix install path for embedded docs Removes the old drmemory_docs generation step from the ci-package action. Issue: #2260
derekbruening
added a commit
that referenced
this issue
Jun 28, 2021
Adds all of the Github wiki content to new doxygen docs pages integrated into the web site. Updates references to wiki pages in other files in the repository. Issue: #2260
derekbruening
added a commit
that referenced
this issue
Jun 28, 2021
Adds all of the Github wiki content to new doxygen docs pages integrated into the web site. Updates references to wiki pages in other files in the repository. Issue: #2260
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
This is the Dr. Memory equivalent of DynamoRIO/dynamorio#2860 and DynamoRIO/dynamorio#3194.
The text was updated successfully, but these errors were encountered: