Ignore files around gitbook

Because some of them are generated by tools. And we may drop gitbook dependency. See #870
pankona · Jun 21, 2023 · a20ed5e · a20ed5e
1 parent 539663a
commit a20ed5e
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/dprint.json b/dprint.json
@@ -8,7 +8,9 @@
   "includes": ["**/*.{ts,tsx,js,jsx,cjs,mjs,json,md}"],
   "excludes": [
     "**/node_modules",
-    "**/*-lock.json"
+    "**/*-lock.json",
+    "docs",
+    "docsrc"
   ],
   "plugins": [
     "https://plugins.dprint.dev/typescript-0.85.0.wasm",