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.

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

Add a linebreak between contract and the documentation in the doc output #1520

Merged
merged 2 commits into from
Aug 9, 2023

Conversation

thufschmitt
Copy link
Contributor

The markdown output of nickel doc for record fields with both a contract and a documentation currently looks like

- `foo | Dyn`
documentation

which in strict markdown is equivalent to

- `foo | Dyn` documentation

and isn't really nice once converted to Html.

Change that to

- `foo | Dyn`
\
documentation

which renders documentation on a newline (still whithin the same bullet point though).

Screenshots on a basic pandoc rendering:

  • before
    image
  • after
    image

The markdown output of `nickel doc` for record fields with both a
contract and a documentation currently looks like

```markdown
- `foo | Dyn`
documentation
```

which in strict markdown is equivalent to

```markdown
- `foo | Dyn` documentation
```

and isn't really nice once converted to Html.

Change that to

```markdown
- `foo | Dyn`
\
documentation
```

which renders `documentation` on a newline (still whithin the same
bullet point though)
@github-actions github-actions bot temporarily deployed to pull request August 9, 2023 14:18 Inactive
@thufschmitt
Copy link
Contributor Author

Grmph, I didn't check the tests (bad).

I'm going on vacation this evening and probably won't have time to fix it in the meantime, feel free to pick it up if you want anyone

@github-actions github-actions bot temporarily deployed to pull request August 9, 2023 14:56 Inactive
@vkleen vkleen enabled auto-merge August 9, 2023 15:01
Copy link
Member

@yannham yannham left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I was going to say something about affecting the user manual, but the latter is built from the JSON export I believe, right, @vkleen ? @thufschmitt might or might not be useful for you, but AFAIR it was just easier to generate HTML from a json export of the documentation, which you can do with nickeld doc --format json.

@vkleen
Copy link
Contributor

vkleen commented Aug 9, 2023

That's correct, the user manual is formatted on the website from the JSON output.

@vkleen vkleen added this pull request to the merge queue Aug 9, 2023
Merged via the queue into master with commit 56c66c6 Aug 9, 2023
4 checks passed
@vkleen vkleen deleted the add-linebreak-in-markdown-doc branch August 9, 2023 16:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants