Makefile
changeset 94 1b2cf5b2b46c
parent 85 0ff3715e6176
child 103 b5b1dc62bdc0
equal deleted inserted replaced
93:15f00e7ca27b 94:1b2cf5b2b46c
   112 
   112 
   113 $(HTML_FILES): %.html: %.rst
   113 $(HTML_FILES): %.html: %.rst
   114 	$(RST2HTML) --stylesheet=rst.css $*.rst $@
   114 	$(RST2HTML) --stylesheet=rst.css $*.rst $@
   115 
   115 
   116 ################################################################
   116 ################################################################
       
   117 # Statistics targets.
       
   118 
       
   119 .PHONY: stat
       
   120 stat:
       
   121 	total=0; \
       
   122 	for dic in *.dict-c5; do \
       
   123 		cnt=`grep '^_____' $$dic | wc -l`; \
       
   124 		echo $$dic 'has  ' $$cnt words.; \
       
   125 		total=$$(($$total + $$cnt)); \
       
   126 	done; \
       
   127 	echo Total words count is $$total.
       
   128 
       
   129 ################################################################
   117 # Clean targets.
   130 # Clean targets.
   118 
   131 
   119 .PHONY: distclean
   132 .PHONY: distclean
   120 distclean: clean
   133 distclean: clean
   121 
   134