diff options
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/doc/build-system.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dev/doc/build-system.txt b/dev/doc/build-system.txt index 1ad649bc94..a14781a058 100644 --- a/dev/doc/build-system.txt +++ b/dev/doc/build-system.txt @@ -18,8 +18,8 @@ See http://www.gnu.org/software/make/manual/make.htmlPrerequisite-Types * Annotation before commands: +/-/@ a command starting by - is always successful (errors are ignored) -a command starting by + is ran even if option -n is given to make -a command starting by @ is not echoed before being ran +a command starting by + is run even if option -n is given to make +a command starting by @ is not echoed before being run * Custom functions |