You can not select more than 25 topics Topics must start with a chinese character,a letter or number, can include dashes ('-') and can be up to 35 characters long.

docs.bat 564 B

6 years ago
6 years ago
6 years ago
6 years ago
1234567891011121314
  1. ECHO clone docs-static
  2. git clone git@github.com:discord-net/docs-static.git || EXIT /B 1
  3. ECHO remove old 'latest'
  4. ECHO Y | RMDIR /S docs-static\latest || EXIT /B 1
  5. ECHO build docs
  6. docfx.console\tools\docfx.exe docs/docfx.json -o docs-static/latest/ || EXIT /B 1
  7. ECHO commit and deploy
  8. git config --global user.name "Discord.Net CI Robot" && git config --global user.email "robot@foxbot.me"
  9. git -C docs-static add -A || EXIT /B 1
  10. git -C docs-static commit -m "[ci deploy] %date% %time%: %Build.BuildId%" || EXIT /B 1
  11. git -C docs-static push --force || EXIT /B 1