* strip webserver

diff --git a/webcit/Makefile.in b/webcit/Makefile.in
index 1be0c0305cc813d765096be1a57cdbde0b9af9a5..5c5195f958658e47059c3fe75f7ece2cb232fd66 100644 (file)
--- a/webcit/Makefile.in
+++ b/webcit/Makefile.in
@@ -33,6 +33,7 @@ webserver: webserver.o context_loop.o tools.o \
        locate_host.o siteconfig.o subst.o \
        mime_parser.o graphics.o netconf.o \
        $(LIBOBJS) $(LIBS) -o webserver
+       strip webserver
 
 .c.o:
        $(CC) $(CFLAGS) $(DEFS) -c $(PTHREAD_DEFS) -DWEBCITDIR=\"`pwd`\" $<