Makefile: Don't use `echo`'s `-e` option for portability.
authorRogério Brito <rbrito@ime.usp.br>
Thu, 8 Dec 2011 15:18:17 +0000 (13:18 -0200)
committerRogério Brito <rbrito@ime.usp.br>
Thu, 8 Dec 2011 15:18:29 +0000 (13:18 -0200)
Many systems (including Debian, Ubuntu and derivatives like Linux Mint) use
Dash as a noninteractive version of `/bin/sh`, invoked by `make`.

Dash's `echo` command doesn't understand the `-e` option and this generates
spurious output when running `make`.  See [a bugreport][0] for one of the
many instances of this bug/feature in action.

[0]: https://bugs.launchpad.net/ubuntu/+source/dash/+bug/72167

Makefile

index 07cc1eff71b34afeb8455e817be4648d27e258bf..b1a41079a705f91fadddde8272266b3bc8e7f7c5 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -10,9 +10,11 @@ update-readme:
                header=$$(sed -e '/.*## OPTIONS/,$$ d' README.md) && \
                footer=$$(sed -e '1,/.*## FAQ/ d' README.md) && \
                echo "$${header}" > README.md && \
-               echo -e '\n## OPTIONS' >> README.md && \
+               echo >> README.md && \
+               echo '## OPTIONS' >> README.md && \
                echo "$${options}" >> README.md&& \
-               echo -e '\n## FAQ' >> README.md && \
+               echo >> README.md && \
+               echo '## FAQ' >> README.md && \
                echo "$${footer}" >> README.md
 
 compile: