doc/Makefile
changeset 3872 9d7ac8613340
parent 3268 6901d3545021
child 3907 39dcee009aab
equal deleted inserted replaced
3871:7a4749c5bbcb 3872:9d7ac8613340
    24 	asciidoc -d manpage -b docbook $*.txt
    24 	asciidoc -d manpage -b docbook $*.txt
    25 
    25 
    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 MANIFEST: man html
       
    30 	# versionned files are already in the main MANIFEST
       
    31 	$(RM) $@
       
    32 	for i in $(MAN) $(HTML); do \
       
    33 	  echo "doc/$$i" >> $@ ; \
       
    34 	done
       
    35 
    29 install: man
    36 install: man
    30 	for i in $(MAN) ; do \
    37 	for i in $(MAN) ; do \
    31 	  subdir=`echo $$i | sed -n 's/..*\.\([0-9]\)$$/man\1/p'` ; \
    38 	  subdir=`echo $$i | sed -n 's/..*\.\([0-9]\)$$/man\1/p'` ; \
    32 	  mkdir -p $(MANDIR)/$$subdir ; \
    39 	  mkdir -p $(MANDIR)/$$subdir ; \
    33 	  $(INSTALL) $$i $(MANDIR)/$$subdir ; \
    40 	  $(INSTALL) $$i $(MANDIR)/$$subdir ; \
    34 	done
    41 	done
    35 
    42 
    36 clean:
    43 clean:
    37 	$(RM) $(MAN) $(MAN:%=%.xml) $(MAN:%=%.html) *.[0-9].gendoc.txt
    44 	$(RM) $(MAN) $(MAN:%=%.xml) $(MAN:%=%.html) *.[0-9].gendoc.txt MANIFEST