80 |
|
|
81 |
if html: |
if html: |
82 |
dbg('Compiling: '+input) |
dbg('Compiling: '+input) |
83 |
output = output+".gen.html" |
if not output.endswith('index'): |
84 |
|
output = output+".gen.html" |
85 |
|
else: |
86 |
|
# For practical reasons, we need to transform |
87 |
|
# index.rst into index.html ... |
88 |
|
output = output+".html" |
89 |
config.output_filename = os.path.basename(output) |
config.output_filename = os.path.basename(output) |
90 |
dbg_config("Output file: "+config.output_filename) |
dbg_config("Output file: "+config.output_filename) |
91 |
args = "--config "+config.docutils+" "+input+' '+output |
args = "--config "+config.docutils+" "+input+' '+output |