On Sun, Mar 25, 2018 at 05:49:50PM -0400, Philip McGrath wrote: > > I think the most useful resolution would be to give package maintainers a > way to specify that some package documents or is documented by some other > package (or possibly some arbitrary URL—I would have reservations about > that approach, but it seems worth considering whether it might be useful > for the case of native binary packages). Other options I can imagine, like > adding a way to just suppress the badge, seem less good in that they would > weaken the badge system.
The simplest way to suppress the badge would be to provide a one-line documentation file that does nothing but say where the documentation is. -- hendrik -- 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.
