Re: [racket-users] How to fix typos in documentation?

2019-03-08 Thread Ben Greenman
On 3/8/19, David Storrs wrote: > On Fri, Mar 8, 2019 at 3:13 PM Greg Hendershott > wrote: > >> I have a dumb question. Why can't doc pages have links whose label is >> something like "Want to improve the docs?", and the URL goes directly >> to the appropriate .scrbl file on GitHub? >> > > I asked

Re: [racket-users] How to fix typos in documentation?

2019-03-08 Thread David Storrs
On Fri, Mar 8, 2019 at 3:13 PM Greg Hendershott wrote: > I have a dumb question. Why can't doc pages have links whose label is > something like "Want to improve the docs?", and the URL goes directly > to the appropriate .scrbl file on GitHub? > I asked about this a year or so ago and the consens

Re: [racket-users] How to fix typos in documentation?

2019-03-08 Thread David Storrs
Thank you for that writeup, Marc. I've wanted to offer doc changes several times but never had the spoons to figure out how. Matthew, I think you're absolutely right: putting this in a CONTRIBUTING file would be great. I've created one and submitted a pull request. :> On Fri, Mar 8, 2019 at 1

Re: [racket-users] How to fix typos in documentation?

2019-03-08 Thread Greg Hendershott
I have a dumb question. Why can't doc pages have links whose label is something like "Want to improve the docs?", and the URL goes directly to the appropriate .scrbl file on GitHub? - A .scrbl file knows its own syntax source file path. - defmodule forms know how to make links to the package serve

Re: [racket-users] How to fix typos in documentation?

2019-03-08 Thread Matthew Butterick
Perhaps this would be good material for a CONTRIBUTING.md at the top level of the repo, where it would be more likely to be found by future contributors. GitHub will automatically show a link to the file at arguably appropriate times. [1] [1] https://github.blog/2012-09-17-contributing-guidelin

Re: [racket-users] How to fix typos in documentation?

2019-03-08 Thread Marc Kaufmann
Let me (ab)use this thread to add some more details on how to submit pull requests (PR) on GitHub to racket using the GitHub web interface for other noobs - which includes myself in another month or two. Ideally I would write this up elsewhere to help with onboarding, but that won't happen soon, so

Re: [racket-users] Change the order of bibliography entries in Scribble?

2019-03-08 Thread Matthew Flatt
Ah, I misunderstood. I think there's not currently an option to adjust the sorting of the bibliography section, but it would make sense to add one. At Thu, 7 Mar 2019 23:05:25 -0800, Joey Eremondi wrote: > Looks like that changes the order the citations are listed at the point of > citation, but n