doc/Makefile
changeset 4748 544a5e3d7d1c
parent 4744 620cea146b19
equal deleted inserted replaced
4740:778bab992732 4748:544a5e3d7d1c
    34 	done
    34 	done
    35 
    35 
    36 install: man
    36 install: man
    37 	for i in $(MAN) ; do \
    37 	for i in $(MAN) ; do \
    38 	  subdir=`echo $$i | sed -n 's/..*\.\([0-9]\)$$/man\1/p'` ; \
    38 	  subdir=`echo $$i | sed -n 's/..*\.\([0-9]\)$$/man\1/p'` ; \
    39 	  mkdir -p $(DESTDIR)/$(MANDIR)/$$subdir ; \
    39 	  mkdir -p $(DESTDIR)$(MANDIR)/$$subdir ; \
    40 	  $(INSTALL) $$i $(DESTDIR)/$(MANDIR)/$$subdir ; \
    40 	  $(INSTALL) $$i $(DESTDIR)$(MANDIR)/$$subdir ; \
    41 	done
    41 	done
    42 
    42 
    43 clean:
    43 clean:
    44 	$(RM) $(MAN) $(MAN:%=%.xml) $(MAN:%=%.html) *.[0-9].gendoc.txt MANIFEST
    44 	$(RM) $(MAN) $(MAN:%=%.xml) $(MAN:%=%.html) *.[0-9].gendoc.txt MANIFEST