doc/Makefile
changeset 3268 6901d3545021
parent 3245 3bdeca8946a6
child 3872 9d7ac8613340
equal deleted inserted replaced
3267:bb057b6ce3cf 3268:6901d3545021
    26 %.html: %.txt
    26 %.html: %.txt
    27 	asciidoc -b html4 $*.txt || asciidoc -b html $*.txt
    27 	asciidoc -b html4 $*.txt || asciidoc -b html $*.txt
    28 
    28 
    29 install: man
    29 install: man
    30 	for i in $(MAN) ; do \
    30 	for i in $(MAN) ; do \
    31 	  subdir=`echo $$i | sed -n 's/.\+\.\([0-9]\)$$/man\1/p'` ; \
    31 	  subdir=`echo $$i | sed -n 's/..*\.\([0-9]\)$$/man\1/p'` ; \
    32 	  mkdir -p $(MANDIR)/$$subdir ; \
    32 	  mkdir -p $(MANDIR)/$$subdir ; \
    33 	  $(INSTALL) $$i $(MANDIR)/$$subdir ; \
    33 	  $(INSTALL) $$i $(MANDIR)/$$subdir ; \
    34 	done
    34 	done
    35 
    35 
    36 clean:
    36 clean: