equal
deleted
inserted
replaced
227 try: |
227 try: |
228 state.document.settings.record_dependencies.add(path) |
228 state.document.settings.record_dependencies.add(path) |
229 include_file = io.FileInput( |
229 include_file = io.FileInput( |
230 source_path=path, encoding=encoding, |
230 source_path=path, encoding=encoding, |
231 error_handler=state.document.settings.input_encoding_error_handler, |
231 error_handler=state.document.settings.input_encoding_error_handler, |
232 handle_io_errors=None) |
232 ) |
233 except IOError as error: |
233 except IOError as error: |
234 severe = state_machine.reporter.severe( |
234 severe = state_machine.reporter.severe( |
235 'Problems with "%s" directive path:\n%s: %s.' |
235 'Problems with "%s" directive path:\n%s: %s.' |
236 % (name, error.__class__.__name__, error), |
236 % (name, error.__class__.__name__, error), |
237 nodes.literal_block(block_text, block_text), line=lineno) |
237 nodes.literal_block(block_text, block_text), line=lineno) |