+ gzip --best --force $(DESTDIR)$(man5dir)/*.5 $(DESTDIR)$(man8dir)/*.8
+
+ @for config in startup-config users ip_pool; \
+ do \
+ suffix=; \
+ mode=0600; [ $$config = ip_pool ] && mode=0644; \
+ if [ -f $(DESTDIR)$(etcdir)/$$config ]; \
+ then \
+ cmp -s etc/$$config.default $(DESTDIR)$(etcdir)/$$config && continue; \
+ suffix=.default; \
+ fi; \
+ $(call doit,$(INSTALL) -m $$mode etc/$$config.default $(DESTDIR)$(etcdir)/$$config$$suffix); \
+ done
+
+ @for plugin in $(PLUGINS); \
+ do \
+ $(call doit,$(INSTALL) -m 0755 $$plugin $(DESTDIR)$(libdir)/$$plugin); \
+ done
+
+ @if [ -z $(DESTDIR) ] && [ ! -e /dev/net/tun ]; \
+ then \
+ mkdir /dev/net; \
+ $(call doit,mknod /dev/net/tun c 10 200); \
+ fi
+
+.PHONY: all clean depend install