mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
blame | history | patch | commit | commitdiff | ignore whitespace
Maxim Thomas
20.05.2024 0d817988b669d7293bd7dc4d90b05b27c48c8dbb 
 .github/workflows/deploy.yml


@@ -153,8 +153,8 @@


          export REPO_NAME_LC=$(echo '${{github.event.repository.name}}' | tr '[:upper:]' '[:lower:]')


          export SITE_DOC_FOLDER=${REPO_NAME_LC}-doc-generated-ref


          cd doc.openidentityplatform.org


          rm -rf ${REPO_NAME_LC}


          cp -R ../${SITE_DOC_FOLDER}/target/docbkx/bootstrap ../doc.openidentityplatform.org/${REPO_NAME_LC}


          rm -rf ${REPO_NAME_LC}/modules


          cp -R ../${SITE_DOC_FOLDER}/target/asciidoc/antora/modules ../doc.openidentityplatform.org/${REPO_NAME_LC}


          git add -A


          git commit -a -m "upload ${{github.event.repository.name}} docs after deploy ${{ github.sha }}"


          git push --force https://github.com/OpenIdentityPlatform/doc.openidentityplatform.org.git