Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Directory name /static/docs is confusing #108

Closed
trickeydan opened this issue Feb 19, 2018 · 3 comments · Fixed by #204
Closed

Directory name /static/docs is confusing #108

trickeydan opened this issue Feb 19, 2018 · 3 comments · Fixed by #204
Labels
Layout Organising the repo/docs

Comments

@trickeydan
Copy link
Contributor

This directory name is not very clear as to what it contains.

I wouldn't have said that a pdf of markers is a document.

Perhaps /static/downloads/ or /static/pdf/
@trickeydan trickeydan changed the title Directory name /static/docs isconfusing Directory name /static/docs is confusing Feb 19, 2018
@RealOrangeOne
Copy link
Member

Agreed. I'm planning to do an overhaul of the static assets for the docs very soon, which will reduce the generic content in here.

RealOrangeOne added a commit that referenced this issue Feb 20, 2018
@RealOrangeOne
Replace static/docs with page resources
b778c30 
Fixes #108
@RealOrangeOne RealOrangeOne mentioned this issue Feb 20, 2018
Closed
@trickeydan
Copy link
Contributor Author

Any update on the progress of this @RealOrangeOne ?

@RealOrangeOne
Copy link
Member

It's not been done yet, but I might spend tonight doing it if nothing more urgent needs doing.

@RealOrangeOne RealOrangeOne mentioned this issue Jul 31, 2018
Closed
@tpoomlmly tpoomlmly added the Layout Organising the repo/docs label Aug 9, 2021
@RealOrangeOne RealOrangeOne mentioned this issue Jul 19, 2023
Merged
14 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Layout Organising the repo/docs
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

WIP: Smallpeice 2023 sourcebots/docs
Updates and cleanup sourcebots/docs
3 participants
@tpoomlmly @RealOrangeOne @trickeydan