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

Create `man` pages for Dhall #537

Open
Gabriel439 opened this issue Aug 5, 2018 · 4 comments
Open

Create `man` pages for Dhall #537

Gabriel439 opened this issue Aug 5, 2018 · 4 comments
Labels

Comments

@Gabriel439
Copy link
Collaborator

@Gabriel439 Gabriel439 commented Aug 5, 2018

No description provided.

@Profpatsch

This comment has been minimized.

Copy link
Member

@Profpatsch Profpatsch commented Aug 7, 2018

What man pages are needed, apart from the documentation of the executables? I think it would be nice to have all documentation in an offline format, be it html files or manpages for e.g. the grammar, the semantics and the tutorial.

@Gabriel439

This comment has been minimized.

Copy link
Collaborator Author

@Gabriel439 Gabriel439 commented Aug 8, 2018

@Profpatsch: In this case just a basic summary of the command line would be enough. The main motivation for this was that I was working through packaging Dhall for Debian/Fedora and realized in the process that man pages were customary for those distros. Also, just having the man pages at all improves the overall perception of polish for the project.

@Profpatsch

This comment has been minimized.

Copy link
Member

@Profpatsch Profpatsch commented Aug 8, 2018

were customary for those distros

On debian, man pages are even required.

@sjakobi sjakobi added the docs label Nov 12, 2019
@vmchale

This comment has been minimized.

Copy link
Collaborator

@vmchale vmchale commented Feb 18, 2020

I think pandoc can generate man pages from markdown.

@vmchale vmchale mentioned this issue Feb 18, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked pull requests

Successfully merging a pull request may close this issue.

None yet
4 participants
You can’t perform that action at this time.