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

Command references have duplicated headers #436

Closed
TingPing opened this issue Jan 9, 2024 · 2 comments · Fixed by #474
Closed

Command references have duplicated headers #436

TingPing opened this issue Jan 9, 2024 · 2 comments · Fixed by #474
Labels
webui Issues related to the theming and layout of the website

Comments

@TingPing
Copy link
Member

TingPing commented Jan 9, 2024

These are generated files from the other projects, so we will need to either change the generation or just manually filter out the headers.

@TingPing TingPing added the webui Issues related to the theming and layout of the website label Jan 9, 2024
@razzeee
Copy link
Collaborator

razzeee commented Jan 9, 2024

This is not an automated process is it? Do we know how/who creates the files? Any docs?

@TingPing
Copy link
Member Author

It is all manual. If you build flatpak and flatpak-builder with -Ddocbook_docs=enabled and -Ddocs=enabled respectively they will output the HTML file that gets copied here.

The input template is here: https://github.com/flatpak/flatpak/blob/main/doc/flatpak-docs.xml.in

That said we probably don't want to change the template, maybe a simple import script here that strips it would be a reasonable idea.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
webui Issues related to the theming and layout of the website
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants