doc/Makefile
changeset 4031 15b2528239e4
parent 4030 a48971ae1387
child 4032 c9160748c094
equal deleted inserted replaced
4030:a48971ae1387 4031:15b2528239e4
    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 $(MANDIR)/$$subdir ; \
    40 	  $(INSTALL) $$i $(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