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

Eliminate documentation Makefile #307

Closed
folmos-at-orange opened this issue Dec 11, 2024 · 0 comments · Fixed by #322
Closed

Eliminate documentation Makefile #307

folmos-at-orange opened this issue Dec 11, 2024 · 0 comments · Fixed by #322
Assignees
@folmos-at-orange
Labels
Status/Done The issue has been addressed and merged to the dev branch Type/DevChore Repository maintainance, CI/CD or non user-facing refactorings
Milestone
10.2.4.1

Comments

@folmos-at-orange
Copy link
Member

Description

The documentation creation scripts are based on a Makefile which was generated by the "boilerplate" generator of Sphinx. This isn't necessary and creates problems in windows.

Questions/Ideas

  • Make doc/create-doc depend only on sphinx-build.
@folmos-at-orange folmos-at-orange added Status/ReadyForDev The issue is ready to be developed or to be investigated deeply Type/DevChore Repository maintainance, CI/CD or non user-facing refactorings Size/Hours Very short labels Dec 11, 2024
@folmos-at-orange folmos-at-orange linked a pull request Dec 20, 2024 that will close this issue
Remove documentation make scripts #322
Merged
5 tasks
@folmos-at-orange folmos-at-orange self-assigned this Dec 20, 2024
@folmos-at-orange folmos-at-orange added Status/InDevelopment The issue is in development by one or more team members and removed Status/ReadyForDev The issue is ready to be developed or to be investigated deeply labels Jan 6, 2025
@folmos-at-orange folmos-at-orange added Status/Done The issue has been addressed and merged to the dev branch and removed Status/InDevelopment The issue is in development by one or more team members Size/Hours Very short labels Jan 8, 2025
@popescu-v popescu-v added this to the 10.2.4.1 milestone Jan 8, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@folmos-at-orange folmos-at-orange

Labels
Status/Done The issue has been addressed and merged to the dev branch Type/DevChore Repository maintainance, CI/CD or non user-facing refactorings
Projects
None yet
Milestone
10.2.4.1
Development

Successfully merging a pull request may close this issue.

Remove documentation make scripts KhiopsML/khiops-python
2 participants
@folmos-at-orange @popescu-v