doc/Makefile
changeset 3245 3bdeca8946a6
parent 2233 3840cefa5222
child 3268 6901d3545021
equal deleted inserted replaced
3244:f045b049a704 3245:3bdeca8946a6
    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: