diff --git a/Makefile b/Makefile index 837fd90c..0d3c2642 100644 --- a/Makefile +++ b/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) diff --git a/src/Makefile.in b/src/Makefile.in index 47cd0e65..026222f4 100644 --- a/src/Makefile.in +++ b/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