Skip to content

Conversation

rdmark
Copy link
Member

@rdmark rdmark commented Oct 15, 2025

Set the FULL_PATH_NAMES option to NO, so that the shortest unique pathname is used for each file in file list and page headers

The default YES setting includes the entire absolute path on the system the docs were built, which is irrelevant to readers

Set the FULL_PATH_NAMES option to NO, so that the shortest unique
pathname is used for each file in file list and page headers

The default YES setting includes the entire absolute path
on the system the docs were built, which is irrelevant to readers
Copy link

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