[ci skip] Mention docs dir

diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index d24440da90890aa1eec7490fa63fc7dc74b1637b..31508f699896c50ada8cf7cdaee16fa0b06d4192 100644 (file)
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -143,6 +143,7 @@ locations.
     ├─ ltmain.sh                    # https://git.savannah.gnu.org/cgit/libtool.git
     ├─ shtool                       # https://www.gnu.org/software/shtool/
     └─ ...
+ ├─ docs/                           # PHP internals and repository documentation
  └─ ext/                            # PHP core extensions
     └─ bcmath/
        ├─ libbcmath/                # Forked and maintained in php-src