docs: avoid linting docs directory with eslint

Change-Id: Ia8251bdff4d3bebef0fdf1f11072959ff487fa09
2023-02-23 14:21:42 +01:00 · 2023-02-23 14:21:42 +01:00 · c9e69e7c4a
--- a/.eslintignore
+++ b/.eslintignore
@ -4,3 +4,4 @@
 /vendor/
 /coverage/
 /node_modules/
+/docs