chore: use docs-dev instead of docs dir for docs (#4522)

* chore: use `docs-dev` instead of `docs` folder

* patch version bump

* Rollback an incorrect rename

* Use exact docs dir in the helper comment

* Revert some overeager renamings

* Moving `docs` to `docs-dev`

* Update Docs Paths

---------

Co-authored-by: eric-forte-elastic <eric.forte@elastic.co>
This commit is contained in:
Sergey Polzunov
2025-03-07 14:34:51 +01:00
committed by GitHub
parent e28512a32f
commit 3bdda091e1
35 changed files with 18 additions and 15 deletions
@@ -8,7 +8,7 @@ on:
- 'hunting/**/*.py'
- 'pyproject.toml'
- 'Makefile'
- 'docs/**'
- 'docs-dev/**'
- 'detection_rules/**'
- 'tests/**'
- '!hunting/**/*.md'