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

Update HTMLWriter logo handling and arguments #953

Merged
merged 2 commits into from
Feb 12, 2019
Merged

Conversation

mortenpi
Copy link
Member

Two slightly related changes (as in I got carried away when I was trying to document the logo).

  • The logo can now also be an SVG/WebP/JPEG/GIF. Also swaps the manual logo over to an SVG version.
  • The analytics and assets keywords to makedocs are deprecated in favour of the corresponding HTML() arguments. The reasoning is that those particular makedocs arguments are very HTMLWriter-specific.

Ref #212, close #308.

@fredrikekre
Copy link
Member

The logo could be used for the pdf output too though, e.g. #949 so maybe not move assets to HTML?

@mortenpi
Copy link
Member Author

The assets keyword only determines what gets included in the <head> part of the HTML pages. All the files are always copied.

src/Documenter.jl Outdated Show resolved Hide resolved
src/Documenter.jl Outdated Show resolved Hide resolved
src/Documenter.jl Outdated Show resolved Hide resolved
Deprecates the analytics and assets keywords to makedocs in favour of
the corresponding HTML() arguments. The reasoning is that those
particular makedocs arguments are very HTMLWriter-specific.
src/Documenter.jl Show resolved Hide resolved
@mortenpi mortenpi merged commit b9f11b0 into master Feb 12, 2019
@mortenpi mortenpi deleted the mp/logo-formats branch February 12, 2019 20:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Documentation: Adding a Logo to the Sidebar
2 participants