Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Convert documentation to markdown source #17742

Merged
merged 2 commits into from
Jun 5, 2023
Merged

Convert documentation to markdown source #17742

merged 2 commits into from
Jun 5, 2023

Conversation

mosabua
Copy link
Member

@mosabua mosabua commented Jun 3, 2023 •
edited
Loading

Description

  • Enable deflist extension needed for glossary page
  • Convert all top level pages
  • Convert all appendix pages
  • Convert all overview pages
  • Convert all developer guide pages

Additional context and related issues

Release notes converted already with #17732

Most files produce identical HTML output.

Exceptions are:

  • glossary due to the new extension another css class is added. That is not used and therefore has no impact on visual appearance.
  • functions has one different line warp in the HTML source, again no visual impact though.

Release notes

(x) This is not user-visible or docs only and no release notes are required.

@cla-bot cla-bot bot added the cla-signed label Jun 3, 2023
@mosabua mosabua requested a review from electrum June 3, 2023 00:28
@mosabua mosabua marked this pull request as ready for review June 3, 2023 00:29
@mosabua
Convert more documentation to markdown source
21b9afd 
* top-level docs
* appendix
* overview
* developer guide
@mosabua mosabua force-pushed the mm/markdown-conv branch from 613c475 to 21b9afd Compare June 5, 2023 15:21
@mosabua mosabua merged commit f09506b into trinodb:master Jun 5, 2023
@mosabua mosabua deleted the mm/markdown-conv branch June 5, 2023 15:39
@github-actions github-actions bot added this to the 419 milestone Jun 5, 2023
@mosabua mosabua mentioned this pull request Jun 5, 2023
Merged
@colebow colebow mentioned this pull request Jun 5, 2023
Merged
This was referenced Jul 21, 2023
Merged
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@raunaqmorarka raunaqmorarka raunaqmorarka approved these changes

@electrum electrum Awaiting requested review from electrum

Assignees
No one assigned
Labels
cla-signed docs release-notes
Milestone
419
Development

Successfully merging this pull request may close these issues.
2 participants
@mosabua @raunaqmorarka