directives.md: Fix //@ build_aux_docs -> //@ build-aux-docs
#4828
| Job | Run time |
|---|---|
| 7s | |
| 7s |
//@ build_aux_docs -> //@ build-aux-docs
#4828
| Job | Run time |
|---|---|
| 7s | |
| 7s |