Make "make install" *not* strip debugging symbols; add "make install-stripped" target to strip them.

Makefile

@@ -12,11 +12,11 @@ all: src/Makefile
 	@$(MAKE) -C rem2pdf -f Makefile.top
 install:
 	@echo ""
-	@echo "*********************"
-	@echo "*                   *"
-	@echo "* Installing REMIND *"
-	@echo "*                   *"
-	@echo "*********************"
+	@echo "**********************************"
+	@echo "*                                *"
+	@echo "* Installing REMIND (unstripped) *"
+	@echo "*                                *"
+	@echo "**********************************"
 	@echo ""
 	@$(MAKE) -C src install
 	@$(MAKE) -C rem2html install
@@ -27,15 +27,15 @@ clean:
 	-$(MAKE) -C src clean
 	-$(MAKE) -C rem2pdf clean
 
-install-nostripped:
+install-stripped:
 	@echo ""
-	@echo "**********************************"
-	@echo "*                                *"
-	@echo "* Installing REMIND (unstripped) *"
-	@echo "*                                *"
+	@echo "********************************"
+	@echo "*                              *"
+	@echo "* Installing REMIND (stripped) *"
+	@echo "*                              *"
 	@echo "**********************************"
 	@echo ""
-	@$(MAKE) -C src install-nostripped
+	@$(MAKE) -C src install-stripped
 	@$(MAKE) -C rem2html install
 	@$(MAKE) -C rem2pdf -f Makefile.top install INSTALL_BASE=$(INSTALL_BASE)
 

src/Makefile.in

@@ -50,7 +50,7 @@ rem2ps: rem2ps.o dynbuf.o json.o
 remind: $(REMINDOBJS)
 	@CC@ @CFLAGS@ @LDFLAGS@ $(LDEXTRA) -o remind $(REMINDOBJS) @LIBS@
 
-install-nostripped: all
+install: all
 	-mkdir -p $(DESTDIR)$(bindir) || true
 	for prog in $(PROGS) $(SCRIPTS) ; do \
 		$(INSTALL_PROGRAM) $$prog $(DESTDIR)$(bindir) || exit 1; \
@@ -64,7 +64,7 @@ install-nostripped: all
 	-mkdir -p $(DESTDIR)$(datarootdir)/remind || true
 	cp -R ../include/* $(DESTDIR)$(datarootdir)/remind
 
-install: install-nostripped
+install-stripped: install
 	strip $(DESTDIR)$(bindir)/remind || true
 	strip $(DESTDIR)$(bindir)/rem2ps || true