update doc workflow

Author: wangxiaoying

.github/workflows/docs.yml

@@ -26,6 +26,10 @@ jobs:
       - name: Install dependencies
         run: |
           pip install -r docs/requirements.txt
+          apt-get update
+          apt-get install -y libkrb5-dev libclang-dev
+        env:
+          DEBIAN_FRONTEND: noninteractive
 
       - name: Build the book
         run: |