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

Logging needs Manual section #25548

Closed
vtjnash opened this issue Jan 13, 2018 · 1 comment
Closed

Logging needs Manual section #25548

vtjnash opened this issue Jan 13, 2018 · 1 comment
Labels
docs This change adds or pertains to documentation logging The logging framework

Comments

@vtjnash
Copy link
Member

vtjnash commented Jan 13, 2018

Currently, none of the logging infrastructure seems to have a page in the manual.

julia> using Logging

help?> Logging
search: Logging logging disable_logging

  No documentation found.

  No docstring or README.md found for module Logging.

Other basic tasks, like enabling debug output, also need to be mentioned somewhere.
@vtjnash vtjnash added docs This change adds or pertains to documentation logging The logging framework labels Jan 13, 2018
@fredrikekre
Copy link
Member

#25154, #25109

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
docs This change adds or pertains to documentation logging The logging framework
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@vtjnash @KristofferC @fredrikekre