Makefile
changeset 35 648d3bf5204d
parent 22 a2914ae81c6d
child 36 7fb39a216cef
equal deleted inserted replaced
34:1f66a9cac81d 35:648d3bf5204d
   132 	rm -r -f $(DIRS) HEADER.rst
   132 	rm -r -f $(DIRS) HEADER.rst
   133 
   133 
   134 ################################################################
   134 ################################################################
   135 # Helper target.
   135 # Helper target.
   136 
   136 
       
   137 .PHONY: help
   137 help:
   138 help:
   138 	@echo Supported targets:
   139 	@echo Supported targets:
   139 	@sed -n -e '/^[[:alnum:]_-]*:/{s=^\(.*\):.*=  \1=;p;}' $(MAKEFILE_LIST)
   140 	@sed -n -e '/^[[:alnum:]_-]*:/{s=^\(.*\):.*=  \1=;p;}' $(MAKEFILE_LIST)
   140 
   141 
       
   142 .PHONY: check-format-policy
       
   143 check-format-policy:
       
   144 	\
       
   145 for f in *.rst; do \
       
   146   if grep '.. -\*- coding: utf-8; -\*-' $$f >/dev/null; then :; else \
       
   147     echo $$f:1:" Has no 'coding: utf-8' directive."; \
       
   148   fi; \
       
   149   if grep '.. include:: HEADER.rst' $$f >/dev/null; then :; else \
       
   150     echo $$f:2:" Has no 'include:: HEADER.rst' directive."; \
       
   151   fi; \
       
   152   if grep '.. contents::' $$f >/dev/null; then :; else \
       
   153     echo $$f:7:" Has no 'contents::' directive."; \
       
   154   fi; \
       
   155 done
   141 
   156