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

Simplify pdoc build, eliminate nav badges #115

Merged
merged 2 commits into from
Apr 19, 2023
Merged

Simplify pdoc build, eliminate nav badges #115

merged 2 commits into from
Apr 19, 2023

Conversation

lukasschwab
Copy link
Owner

@lukasschwab lukasschwab commented Apr 19, 2023

Description

  • Use --no-search to skip generating the search artifacts. Eliminates the cleanup step, skips an unnecessary build stage.

  • Eliminate badges in pdoc navigation by moving them in the README. I like the inline look on GitHub, but it's not worth version-controlling a custom template with tweaked CSS.1

Screen Shot 2023-04-18 at 5 03 53 PM

Breaking changes

List any changes that break the API usage supported on master.

None.

Relevant issues

List GitHub issues relevant to this change.

None.

Checklist

  • (If appropriate) README.md example usage has been updated.

Footnotes

  1. Custom CSS would look like this:

    nav.pdoc img {
      display: none;
    }
    

Doesn't look as good in GitHub, but it eliminates the badges in the
generated nav sidebar.

Alternatively, could supply a custom pdoc template with CSS that knocks
these out:

```css
nav.pdoc img {
  display: none;
}
```
@lukasschwab lukasschwab merged commit 3d013ab into master Apr 19, 2023
3 checks passed
@lukasschwab lukasschwab deleted the tweak-pdoc branch April 19, 2023 00:09
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.

None yet

1 participant