mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

Maxim Thomas
01.20.2024 c19cb1ec29359a2f63f32753c54b837cb6998187
.github/workflows/deploy.yml
@@ -133,8 +133,9 @@
          GITHUB_TOKEN: ${{ github.token }}
        run:   |
          cd ${{ github.event.repository.name }}.wiki
          rm -rf docbkx
          cp -R ../opendj-doc-generated-ref/target/docbkx ../${{ github.event.repository.name }}.wiki
          rm -rf asciidoc
          mkdir asciidoc
          cp -R ../opendj-doc-generated-ref/target/asciidoc/pdf ../${{ github.event.repository.name }}.wiki/asciidoc
          git add -A
          git commit -a -m "upload docs after deploy ${{ github.sha }}"
          git push --quiet --force