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?

-- 
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.

Reply via email to