diff options
author | swampmonster <sb@kriegsmarine.se> | 2021-04-11 12:49:12 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-04-11 12:49:12 +0200 |
commit | b23eeb6a14831064578428306938d577be3b6a05 (patch) | |
tree | 37f77f70568d87022731264e21b151932d3e2b83 /docs | |
parent | 1298eab6ab5212871213898fabea593e339024c1 (diff) |
Documentation update (#12484)
Update documentation to reflect what the actual target flags are
Co-authored-by: swampmonster <>
Diffstat (limited to 'docs')
-rw-r--r-- | docs/getting_started_make_guide.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/getting_started_make_guide.md b/docs/getting_started_make_guide.md index 7198576e3a..02216875c8 100644 --- a/docs/getting_started_make_guide.md +++ b/docs/getting_started_make_guide.md @@ -22,8 +22,8 @@ The `<target>` means the following The following targets are for developers: -* `show-path` shows the path of the source and object files. -* `dump-vars` dumps the makefile variable. +* `show_path` shows the path of the source and object files. +* `dump_vars` dumps the makefile variable. * `objs-size` displays the size of individual object files. * `show_build_options` shows the options set in 'rules.mk'. * `check-md5` displays the md5 checksum of the generated binary file. |