search

RIOT-OS / riot-os.org

Sources of the RIOT website https://riot-os.org/.
4 stars 16 forks source link

assets/pdfs: added Martine's master thesis #131

Closed OlegHahm closed 4 months ago

OlegHahm commented 4 months ago

Put the document on the web page for linking from the docs (https://doc.riot-os.org/group__net__gnrc.html - current link is down).

github-actions[bot] commented 4 months ago

🚀 PR preview deployed to https://RIOT-OS-riot-os-org-preview-131.surge.sh

miri64 commented 4 months ago

There used to be also a slide set.

OlegHahm commented 4 months ago

Can we rename the directory to assets/docs? assets/pdfs seems a little weird. Do only PDFs belong in their? What about other documents?

Personally, I don't care. So far, we only have PDFs and from the top of my head I don't see any other document format that I could imagine to share here. I don't have any objections, but I think that's also unrelated to this PR.

chrysn commented 4 months ago

The assets folder is mixed in naming anyway between intention ("branding", "fonts") and technology ("css", "js"). Whatever we use (and I'm fine with either), let's just be aware that this is a potential deep linking target, and there is a stability promise associated with it [edit: to clarify: All URIs should be "Cool URIs", but I think that it goes especially for those other people may place links to. It may not matter for our style.css that is useless without the containing index.html, but once we add HTML, PDF or otherwise linkable resources, we should make an effort to not produce 404s down the line].

This only adds PDFs -- should there be a link there, transitively reachable from the root?

miri64 commented 4 months ago

[…] from the top of my head I don't see any other document format that I could imagine to share here.

Hopefully some truly portable, non-proprietary document format in the future ;-).

miri64 commented 4 months ago

but I think that's also unrelated to this PR.

You introduced this directory in this PR, so I would not call this unrelated to this PR.

miri64 commented 4 months ago

After some offline discussions, @chrysn and I decided for pubs/ (for "publications") to keep it future-proof and distinguish from "documentation".

miri64 commented 4 months ago

You introduced this directory in this PR, so I would not call this unrelated to this PR.

Ahhhh only now that I try to start moving things I realize that the directory already existed before this PR... I'd blame it on Git having no notion of a “new directory” but I could have looked it up... Sorry. Then nvm and sorry for the noise!