code: def export(path=None, user_content=False, context=None,
             username=None, password=None, render_offline=False,
             render_wide=False, render_inline=True, out_filename=None,
             api_url=None, title=None, quiet=False, grip_class=None):
      
      export_to_stdout = out_filename == '-'
      if out_filename is None:
          if path == '-':
              export_to_stdout = True
          else:
              filetitle, _ = os.path.splitext(
                  os.path.relpath(DirectoryReader(path).root_filename))
              out_filename = '{0}.html'.format(filetitle)
  
      if not export_to_stdout and not quiet:
          print('Exporting to', out_filename, file=sys.stderr)
  
      page = render_page(path, user_content, context, username, password,
                         render_offline, render_wide, render_inline, api_url,
                         title, None, quiet, grip_class)
  
      if export_to_stdout:
          try:
              print(page)
          except IOError as ex:
              if ex.errno != 0 and ex.errno != errno.EPIPE:
                  raise
      else:
          with io.open(out_filename, 'w', encoding='utf-8') as f:
              f.write(page)
docs: Exports the rendered HTML to a file.