git.infodrom.org Git - infodrom/manpages-de/blob - Makefile

   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
   4 # source pages around.
   5
   6 prefix=/usr
   7
   8 MANDIR=$(prefix)/man/de
   9
  10 example: remove gz install
  11
  12 remove:
  13         for i in man?; do for j in $$i/*; do rm -f $(MANDIR)/$$j; done; done
  14
  15 gz:
  16         for i in man?; do gzip $$i/*; done
  17
  18 install:
  19         test -d $(MANDIR) || install -d -m 755 $(MANDIR)
  20         for i in man?; do \
  21           test -d $(MANDIR)/$$i || install -d -m 755 $(MANDIR)/$$i; \
  22           for m in $$i/*; do \
  23             test -f $(MANDIR)/$$m || install -m 644 $$m $(MANDIR)/$$i; \
  24           done; \
  25         done