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

Fix manual #60

Open
wants to merge 6 commits into
base: main
Choose a base branch
from
Open

Fix manual #60

wants to merge 6 commits into from

Conversation

dforsi
Copy link
Contributor

@dforsi dforsi commented Jan 26, 2025

The most important change of this PR is replacing "9.4" with "9.5" in the header created by Doxygen and adding "9.5" to the title of the page "Editor version 9.4" so it's clear that this is the latest version of the manual.

The biggest change however is to make the "Configuration" page easier to navigate by adding sections that can be reached from links at the top of the page and from the sidebar.
Other changes are small fixes for typing errors.

A smaller change is to have Doxygen copy the icons from the directory of the source code to the directory of the manual and deleting a couple of icons that where duplicates of those in the source. The icons are visible in the online manual but were missing when generating the manual locally.
I'm also deleting some image that aren't used in the manual, but you may want to keep them and maybe add them to the manual.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant