Makefile: Don't use echo's -e option for portability.

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
This commit is contained in:
Rogério Brito 2011-12-08 13:18:17 -02:00
parent 348486ced4
commit 66e8777769

View File

@ -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: