1 # Do "make install" to copy the pages to their destination.
2 # Do "make gz" before "make install" if you use compressed source pages.
3 # Do "make remove" before "make gz" if you may have uncompressed
8 MANDIR=$(prefix)/man/de
10 example: remove gz install
13 for i in man?; do for j in $$i/*; do rm -f $(MANDIR)/$$j; done; done
16 for i in man?; do gzip $$i/*; done
19 test -d $(MANDIR) || install -d -m 755 $(MANDIR)
21 test -d $(MANDIR)/$$i || install -d -m 755 $(MANDIR)/$$i; \
23 test -f $(MANDIR)/$$m || install -m 644 $$m $(MANDIR)/$$i; \