97 |
|
|
98 |
dbg_config('Working directory: '+config.working_directory) |
dbg_config('Working directory: '+config.working_directory) |
99 |
dbg_config('Input file: '+config.input_filename) |
dbg_config('Input file: '+config.input_filename) |
|
config.read_config(config, config.navidoc_conf) |
|
100 |
|
|
101 |
navidoc.link.docxx.__init__() # init Doc++ linking information |
if (config.read_navidoc_conf != config.navidoc_conf): |
102 |
# of course that could be done everytime, when processing a clink, but... |
config.read_config(config, config.navidoc_conf) |
103 |
|
navidoc.link.docxx.__init__() # init Doc++ linking information |
104 |
|
# of course that could be done everytime, when processing a clink, but... |
105 |
|
config.read_navidoc_conf = config.navidoc_conf |
106 |
|
|
107 |
if html: |
if html: |
108 |
dbg('Compiling ReST '+input) |
dbg('Compiling ReST '+input) |