Skip to content

Add documentation to plugins #2066

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

Closed
jneira opened this issue Aug 2, 2021 · 9 comments
Closed

Add documentation to plugins #2066

jneira opened this issue Aug 2, 2021 · 9 comments
Labels
type: enhancement New feature or request

Comments

@jneira
Copy link
Member

jneira commented Aug 2, 2021

@July541
Copy link
Collaborator

July541 commented Aug 2, 2021

I added a document in the call hierarchy, maybe we can let this as an example.

@jneira
Copy link
Member Author

jneira commented Aug 2, 2021

I added a document in the call hierarchy, maybe we can let this as an example.

Of course! many thanks, i think we should ask for something similar for the new plugins (and work hard to add it for the existing ones)

@jneira
Copy link
Member Author

jneira commented Aug 3, 2021

We have to do a check list here with the plugins and the current status of their docs

@July541
Copy link
Collaborator

July541 commented Aug 4, 2021

The following plugin list is generated by haskell-language-server --list-plugins.

The explicit links point to the feature page, and the implicit links go to their document directly.

TL;DR


A track list

@jneira
Copy link
Member Author

jneira commented Oct 6, 2021

The actual features doc page could link to each plugin as suggested by @michaelpj , once their docs are completed (or gradually while the plugins are being completed)

@michaelpj
Copy link
Collaborator

👍 to this.

We have some readmes already, it would be great to have more! I'd also like to incorporate them into the doc build properly... perhaps I can symlink them in so that sphinx will index them as part of the main project? 🤔

@michaelpj
Copy link
Collaborator

The plugins now have some more documentation, just on the features page. There could be a lot more, though.

@July541
Copy link
Collaborator

July541 commented Mar 15, 2022

I updated the state by my personal search, not sure if contains all. #2066 (comment)

@fendor
Copy link
Collaborator

fendor commented Jul 13, 2022

This looks completed to me, thank you everyone!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
type: enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

4 participants