From 858334bc02bd2706f06cad5db68be22e0734c393 Mon Sep 17 00:00:00 2001
From: Yu Chen <yuchen@mail.tsinghua.edu.cn>
Date: Sun, 20 Mar 2022 23:11:22 +0800
Subject: [PATCH] update CI for build api doc

---
 .github/workflows/build-doc.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/build-doc.yml b/.github/workflows/build-doc.yml
index 536e7381..f559e3da 100644
--- a/.github/workflows/build-doc.yml
+++ b/.github/workflows/build-doc.yml
@@ -22,10 +22,10 @@ jobs:
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}
           publish_dir: ./os/target/riscv64gc-unknown-none-elf/doc
-          destination_dir: ./public/${{ github.ref_name }}
+          destination_dir: ./docs/${{ github.ref_name }}
       - name: Deploy index.html to Github Pages
         uses: peaceiris/actions-gh-pages@v3
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}
           publish_dir: ./public
-          destination_dir: ./public   
\ No newline at end of file
+          destination_dir: ./docs
\ No newline at end of file