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

CI: Check if refresh in documentation is needed #3056

Closed
frankmorgner opened this issue Mar 1, 2024 · 0 comments · Fixed by #3060
Closed

CI: Check if refresh in documentation is needed #3056

frankmorgner opened this issue Mar 1, 2024 · 0 comments · Fixed by #3060

Comments

@frankmorgner
Copy link
Member

I think we can do similar job as the formatting job, that it will try to generate the html files (with the right prefix/paths and everything) and if it will not match what is in the repository, it can print a diff, that can be either manually pulled by the contributor to fix the HTML or the contributor can regenerate the HTML files with make ... (given that we would provide reasonable description in the CI job).

Originally posted by @Jakuje in #3052 (comment)
Jakuje added a commit to Jakuje/OpenSC that referenced this issue Mar 4, 2024
@Jakuje
ci: Verify the HTML documentation is up-to-date
a23208d 
Fixes: OpenSC#3056
@Jakuje Jakuje mentioned this issue Mar 4, 2024
Merged
5 tasks
Jakuje added a commit to Jakuje/OpenSC that referenced this issue Mar 4, 2024
@Jakuje
ci: Verify the HTML documentation is up-to-date
543b437 
Fixes: OpenSC#3056
Jakuje added a commit to Jakuje/OpenSC that referenced this issue Mar 4, 2024
@Jakuje
ci: Verify the HTML documentation is up-to-date
36b6237 
Fixes: OpenSC#3056
Jakuje added a commit to Jakuje/OpenSC that referenced this issue Mar 4, 2024
@Jakuje
ci: Verify the HTML documentation is up-to-date
a79833e 
Fixes: OpenSC#3056
Jakuje added a commit to Jakuje/OpenSC that referenced this issue Mar 4, 2024
@Jakuje
ci: Verify the HTML documentation is up-to-date
c0bda5c 
Fixes: OpenSC#3056
Jakuje added a commit to Jakuje/OpenSC that referenced this issue Mar 4, 2024
@Jakuje
ci: Verify the HTML documentation is up-to-date
a16cd9b 
Using Fedora image as the ubuntu creates non-standard /usr/etc/... paths without more tweaking

Fixes: OpenSC#3056
Jakuje added a commit to Jakuje/OpenSC that referenced this issue Mar 4, 2024
@Jakuje
ci: Verify the HTML documentation is up-to-date
e066b36 
Using Fedora image as the ubuntu creates non-standard /usr/etc/... paths without more tweaking

Fixes: OpenSC#3056
Jakuje added a commit to Jakuje/OpenSC that referenced this issue Mar 4, 2024
@Jakuje
ci: Verify the HTML documentation is up-to-date
51adaf2 
Using Fedora image as the ubuntu creates non-standard /usr/etc/... paths without more tweaking

Fixes: OpenSC#3056
Jakuje added a commit to Jakuje/OpenSC that referenced this issue Mar 4, 2024
@Jakuje
ci: Verify the HTML documentation is up-to-date
faf3c23 
Using Fedora image as the ubuntu creates non-standard /usr/etc/... paths without more tweaking

Fixes: OpenSC#3056
Jakuje added a commit to Jakuje/OpenSC that referenced this issue Mar 4, 2024
@Jakuje
ci: Verify the HTML documentation is up-to-date
1d9981d 
Using Fedora image as the ubuntu creates non-standard /usr/etc/... paths without more tweaking

Fixes: OpenSC#3056
Jakuje added a commit that referenced this issue Mar 18, 2024
@Jakuje
ci: Verify the HTML documentation is up-to-date
0ab1f81 
Using Fedora image as the ubuntu creates non-standard /usr/etc/... paths without more tweaking

Fixes: #3056
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

ci: Verify the HTML documentation is up-to-date Jakuje/OpenSC
1 participant
@frankmorgner