Makefile
changeset 109 5bb58b8d87a7
parent 108 1f1363141da7
child 110 bf134608773d
equal deleted inserted replaced
108:1f1363141da7 109:5bb58b8d87a7
   182 # Documentation targets.
   182 # Documentation targets.
   183 
   183 
   184 .PHONY: html
   184 .PHONY: html
   185 html: $(HTML_FILES)
   185 html: $(HTML_FILES)
   186 
   186 
   187 $(HTML_FILES): %.html: %.rst
   187 $(HTML_FILES): %.html: %.rst rst.css VERSION.rst $(BUILD_SCRIPT)
   188 	$(RST2HTML) $(RST2HTML_FLAGS) --stylesheet=rst.css $*.rst $@
   188 	$(RST2HTML) $(RST2HTML_FLAGS) --stylesheet=rst.css $*.rst $@
       
   189 
       
   190 VERSION.rst: VERSION $(BUILD_SCRIPT)
       
   191 	{ \
       
   192 	echo 'Version: '$(vmajor).$(vminor); \
       
   193 	echo; \
       
   194 	echo 'Date: '`date +%F`; \
       
   195 	} >$@
   189 
   196 
   190 ################################################################
   197 ################################################################
   191 # Helpers targets.
   198 # Helpers targets.
   192 
   199 
   193 .PHONY: help
   200 .PHONY: help