diff options
Diffstat (limited to 'doc_src')
| -rw-r--r-- | doc_src/FORMATTING.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc_src/FORMATTING.md b/doc_src/FORMATTING.md index 0a44f355..0ae1c81e 100644 --- a/doc_src/FORMATTING.md +++ b/doc_src/FORMATTING.md @@ -56,7 +56,7 @@ is transformed into: `@cmnd{echo} @args{hello} @args{world}` -which is then transformed by Doxygen into an HTML version (`make user_doc`): +which is then transformed by Doxygen into an HTML version (`make doc`): `<span class="command">echo</span> <span class="argument">hello</span> <span class="argument">world</span>` |