add note to user docs advertising make overrides
Open
docs
enhancement
- Dominant language
- Shell
- Stars
- 2
- Forks
- 1
- PR merge metrics
- No merged PRs in 30d
Description
for passing custom arguments to commands like `sphinx-autobuild`
see https://github.com/crate/crate-docs-theme/blob/master/DEVELOP.rst#testing-on-mobile
Contributor guide
Assessment
This issue has not been assessed yet.