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.

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

Documentation Home Page #76

Merged
merged 8 commits into from
Sep 18, 2020
Merged

Documentation Home Page #76

merged 8 commits into from
Sep 18, 2020

Conversation

alecandido
Copy link
Member

@alecandido alecandido commented Sep 14, 2020

Goal

Provide a home page for the docs, in order to redirect on the various docs version (and have a space to put all the logos and so on).

What to include

A logo and redirecting buttons:

  • stable and develop
  • references to each minor available (patches won't have separate versions of docs, while minors yes)

To Do

  • put a title and version buttons
  • find out majors and minors from available git tags (or directly from gh-pages branch folders)
  • automatically deploy
  • add requirements:
    • jinja (for compiling html template)
    • dart-sass (for compiling the css with the framework)

Resources

Install dependencies simply running yarn or npm install inside home-page folder. Run with make.

@felixhekhorn felixhekhorn added the documentation Improvements or additions to documentation label Sep 14, 2020
@felixhekhorn felixhekhorn linked an issue Sep 14, 2020 that may be closed by this pull request
4 tasks
@alecandido alecandido merged commit 6457853 into develop Sep 18, 2020
@alecandido alecandido deleted the docs/home-page branch September 18, 2020 18:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Multiple docs versions
2 participants