doc/Makefile
changeset 4032 c9160748c094
parent 4031 15b2528239e4
child 4753 620cea146b19
equal deleted inserted replaced
4031:15b2528239e4 4032:c9160748c094
    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 $(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