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
Update info.rkt to add category #69
Conversation
Update info.rkt scribblings parameter to add "DrRacket Plugin" category.
Hey Stephen, I'm not entirely clear what this change is supposed to be doing. Can you clarify? |
Adds quickscript to the DrRacket Plugins category on docs.racket-lang.org |
This commit doesn't seem to work:
I'm not sure what was wrong with the previous state though? Quickscript was already in the Tools section. |
The goal is to make the top level of docs.racket-lang.org i made a couple of dozen PR’s in different packages - unfortunately yours is one of two where I made a mistake. i’ve fixed the PR but but you may disagree with my categorisation. |
since I posted this one of my PR’s has been accepted: racket/racket#4687 |
@sorawee mentions the category should be "DrRacket Plugins" (plural) instead. WDYT? |
The symbol in singular maps to the heading in plural this is the convention |
Actually, one thing that I forgot to think about is backward compatibility for Quickscript w.r.t. the |
I've given https://pkgd.racket-lang.org/pkgn/package/Coroutines a non-existent category symbol. (define scribblings
(list (list "coroutines.scrbl"
(list 'multi-page)
(list 'concurrency)
"coroutines"))) |
@Metaxal it looks like you are testing against the first commit of this PR, but the PR has since been updated to use a symbol instead. Can you try again? |
This is weird. My quickscript/info.rkt says:
so I tried to change it to
but this had no effect. Tried reloading the page and ignoring the cache, same thing. There may be something wrong with my Racket install. Edit: |
Apparently if the category is wrong, it just puts the docs back into "Misc", but since I can't manage to trigger the update of the top page it's complicated to test. |
It should work to throw away the generated directory that contains the html
page. (And there may be a bug to fix in scribble somewhere.)
Robby
…On Thu, Jul 13, 2023 at 5:47 AM Laurent Orseau ***@***.***> wrote:
Apparently if the category is wrong, it just puts the docs back into
"Misc", but since I can't manage to trigger the update of the top page it's
complicated to test.
—
Reply to this email directly, view it on GitHub
<#69 (comment)>,
or unsubscribe
<https://github.com/notifications/unsubscribe-auth/AADBNMH3KXRRXY3JKFJI2JTXP4LOXANCNFSM6AAAAAAZ27LZJQ>
.
You are receiving this because you are subscribed to this thread.Message
ID: ***@***.***>
|
Ah, finally! Deleting index.html and |
Update info.rkt scribblings parameter to add "DrRacket Plugin" category.