I agree with Greg that such a feature would be neat - so it's great that Ben and Kieran are on it already. (Thanks!)
The CONTRIBUTING.md is a good idea (and I David's version). The 'Edit on Github' button would solve the first stumbling block I hit, while the contribution.md file helps later in the process. Cheers, Marc On Fri, Mar 8, 2019 at 10:55 PM Ben Greenman <benjaminlgreen...@gmail.com> wrote: > On 3/8/19, David Storrs <david.sto...@gmail.com> wrote: > > On Fri, Mar 8, 2019 at 3:13 PM Greg Hendershott < > greghendersh...@gmail.com> > > 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 consensus was that it was > > impractically difficult given the number of tuits that were available at > > the time. IIRC, it would have required significant changes to the > > documentation generation system. Perhaps I'm misremembering, or perhaps > > that's changed? > > Here's a Scribble issue about adding links to the doc pages: > > https://github.com/racket/scribble/issues/76 > > > And here's a Scribble branch that Kieran Hardy and I started (at > RacketCon 2017) to add the links: > > https://github.com/bennn/scribble/commits/view-source > > Next month I'll try to turn the branch into a pull request. If someone > wants to take the lead this month, feel free. > > -- > You received this message because you are subscribed to a topic in the > Google Groups "Racket Users" group. > To unsubscribe from this topic, visit > https://groups.google.com/d/topic/racket-users/J8ylMGGGr-8/unsubscribe. > To unsubscribe from this group and all its topics, send an email to > racket-users+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
