doc/Makefile
changeset 4843 15efc1d06143
parent 4032 c9160748c094
equal deleted inserted replaced
4842:3cf94964c56b 4843:15efc1d06143
    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