release.yaml 1.3 KB

1234567891011121314151617181920212223242526272829303132333435363738394041
  1. name: Release Documentation
  2. on:
  3. release:
  4. types: [published]
  5. jobs:
  6. docs:
  7. name: Build release documentation
  8. runs-on: ubuntu-20.04
  9. steps:
  10. - uses: actions/checkout@v2
  11. - uses: actions/setup-node@v1
  12. - name: Install Doxygen 1.8.6
  13. run: |
  14. wget http://archive.ubuntu.com/ubuntu/pool/main/d/doxygen/doxygen_1.8.6-2_amd64.deb
  15. sudo dpkg -i doxygen_1.8.6-2_amd64.deb
  16. - name: Install mscgen 0.20
  17. run: |
  18. sudo apt-get update
  19. sudo apt-get install --no-install-recommends -y mscgen=0.20-12
  20. - name: Generate doxygen
  21. run: CMSIS/DoxyGen/gen_doc.sh
  22. - name: Archive documentation
  23. run: |
  24. cd CMSIS/Documentation
  25. tar -cvjf /tmp/doc.tbz2 .
  26. - uses: actions/checkout@v2
  27. with:
  28. ref: gh-pages
  29. - name: Publish documentation
  30. run: |
  31. RELEASE=$(echo $GITHUB_REF | sed 's/refs\/tags\///')
  32. mkdir ${RELEASE}
  33. rm latest
  34. ln -s ${RELEASE} latest
  35. cd ${RELEASE}
  36. tar -xvjf /tmp/doc.tbz2
  37. git config user.name github-actions
  38. git config user.email github-actions@github.com
  39. git add . ../latest
  40. git commit -m "Update documentation for release ${RELEASE}"
  41. git push