diff options
author | Kurtis Rader <krader@skepticism.us> | 2016-03-30 15:35:14 -0700 |
---|---|---|
committer | Kurtis Rader <krader@skepticism.us> | 2016-03-30 19:20:23 -0700 |
commit | 35cee1e39c0ca6bd35f2bb0c18ad6ffca5cc7108 (patch) | |
tree | 60bbe37119944dfdfd2528603b262d00525fada6 /doc_src | |
parent | 7e014174b876308f7a6105d6571f51ab7c2022f0 (diff) |
remove "doc" make target and rename "user_doc"
Fixes #2874
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>` |