Add /docs to gitignore

Author: st0012

.github/workflows/publish_docs.yml

@@ -26,6 +26,6 @@ jobs:
 
       - name: Commit to gh-pages
         run: |
-          git add docs
+          git add docs -f
           git commit -m "Publish website $(git log --format=format:%h -1)"
           git push --force origin main:gh-pages

.gitignore

@@ -1,5 +1,6 @@
 /.bundle/
 /doc/
+/docs/
 /log/*.log
 /pkg/
 /tmp/