Makefile
changeset 439 20e2e561fb14
parent 431 4ec7d0ea1602
child 441 1a49797cea41
equal deleted inserted replaced
438:eeb97298a8f2 439:20e2e561fb14
   142 INDEX_FILES := $(C5_FILES:.c5=.index)
   142 INDEX_FILES := $(C5_FILES:.c5=.index)
   143 
   143 
   144 RST_TMPL_FILE = dist/misc/rst.tmpl
   144 RST_TMPL_FILE = dist/misc/rst.tmpl
   145 RST_CSS_FILE = www/tmpl/rst.css
   145 RST_CSS_FILE = www/tmpl/rst.css
   146 
   146 
   147 RST_GEN_FILES := STAT.rst
       
   148 RST_COMMON_FILES := header.rst
       
   149 RST_FILES := $(wildcard www/*.rst)
   147 RST_FILES := $(wildcard www/*.rst)
   150 RST_HTML_FILES := $(patsubst www/%.rst,dist/www/%.html,$(RST_FILES))
   148 RST_HTML_FILES := $(patsubst www/%.rst,dist/www/%.html,$(RST_FILES))
   151 
   149 
   152 INDEX_HTML_FILE := dist/www/index.html
   150 INDEX_HTML_FILE := dist/www/index.html
   153 
   151