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

Clean-up genDocs scripts #38

Open
3 tasks
holzkohlengrill opened this issue Sep 27, 2019 · 0 comments
Open
3 tasks

Clean-up genDocs scripts #38

holzkohlengrill opened this issue Sep 27, 2019 · 0 comments
Labels
bug Something isn't working documentation Improvements/additions to documentation & documenting issues (-> meaning no actual work was done) good first issue Good for newcomers low prio This issue is less important than others SP: 13

Comments

@holzkohlengrill
Copy link
Collaborator

holzkohlengrill commented Sep 27, 2019 •
edited
Loading

Description

Since we switched to GitHub pages there is no need for html documentation anymore.

To be discussed if we should keep the html generation part for docs. However it might likely fail at some point since it won't be executed regularly anymore.

  • Tag (git) the last working state of genDocs
  • Then remove this part
  • Question: We could/should keep the call graph and UML part since this might still be useful (-> size would be higher in this case)
@holzkohlengrill holzkohlengrill added bug Something isn't working documentation Improvements/additions to documentation & documenting issues (-> meaning no actual work was done) good first issue Good for newcomers question Further information is requested low prio This issue is less important than others labels Sep 27, 2019
@holzkohlengrill holzkohlengrill added this to the 3.3 milestone Sep 27, 2019
@holzkohlengrill holzkohlengrill added SP: 13 and removed question Further information is requested labels May 29, 2020
@holzkohlengrill holzkohlengrill removed this from the 3.3 milestone May 29, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug Something isn't working documentation Improvements/additions to documentation & documenting issues (-> meaning no actual work was done) good first issue Good for newcomers low prio This issue is less important than others SP: 13
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@holzkohlengrill @KGergo88