[PATCH 1/3] Don't use install -s to strip files during install.

[Diego 'Flameeyes' Pettenò]

Allow the user to decide whether to strip files or not, by using
install -s the user has no choice but to install stripped files, which
will be a problem to debug; most distributions will also not want
files to be stripped during install, and would rather take care of
stripping them through their own packaging toolchain (so that debug
packages may also be provided, for instance).
---

 ragel/Makefile.in     |    2 +-
 rlgen-dot/Makefile.in |    2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/ragel/Makefile.in b/ragel/Makefile.in
index 6190a5f..daa42e7 100644
--- a/ragel/Makefile.in
+++ b/ragel/Makefile.in
@@ -96,6 +96,6 @@ clean:
 
 install: all
 	install -d $(prefix)/bin
-	install -s ragel $(prefix)/bin/ragel
+	install ragel $(prefix)/bin/ragel
 
 -include $(DEPS)
diff --git a/rlgen-dot/Makefile.in b/rlgen-dot/Makefile.in
index 3f7b7f6..7cd4ee6 100644
--- a/rlgen-dot/Makefile.in
+++ b/rlgen-dot/Makefile.in
@@ -63,6 +63,6 @@ clean:
 
 install: all
 	install -d $(prefix)/bin
-	install -s rlgen-dot $(prefix)/bin/rlgen-dot
+	install rlgen-dot $(prefix)/bin/rlgen-dot
 
 -include $(DEPS)