Makefile
changeset 1110 6e71ffc71972
parent 1109 9885f6be80f0
child 1111 e1a7f1896571
equal deleted inserted replaced
1109:9885f6be80f0 1110:6e71ffc71972
    20 target_os := $(host_os)
    20 target_os := $(host_os)
    21 
    21 
    22 ################################################################
    22 ################################################################
    23 # Build tool definition/switches.
    23 # Build tool definition/switches.
    24 
    24 
    25 RST2HTML = rst2html
    25 RST2HTML := rst2html
    26 ifeq '$(host_os)' 'cygwin'
    26 ifeq '$(host_os)' 'cygwin'
    27   RST2HTML = rst2html.py
    27   RST2HTML := rst2html.py
    28 endif
    28 endif
    29 
    29 
    30 RST_WARNING_FLAGS := --halt warning
    30 RST_WARNING_FLAGS := --halt warning
    31 RST_FLAGS := --strip-comments
    31 RST_FLAGS := --strip-comments
    32 RST_FLAGS += $(RST_WARNING_FLAGS)
    32 RST_FLAGS += $(RST_WARNING_FLAGS)