Makefile
changeset 12 2d3d783b1b75
parent 11 00d3a2f1f32b
child 13 245100f28fc0
equal deleted inserted replaced
11:00d3a2f1f32b 12:2d3d783b1b75
    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)