From 0001b6d108c2d2c058b0bfca7e0af888c026fe05 Mon Sep 17 00:00:00 2001
From: Fourchaux
Date: Wed, 22 May 2019 01:50:55 +0200
Subject: Update build-system.txt

---
 dev/doc/build-system.txt | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'dev')

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
 
-- 
cgit v1.2.3