Skip to content

Update MANUAL.txt with missing cross reference - #11805

Open
jidanni wants to merge 1 commit into
jgm:mainfrom
jidanni:patch-5
Open

Update MANUAL.txt with missing cross reference#11805
jidanni wants to merge 1 commit into
jgm:mainfrom
jidanni:patch-5

Conversation

@jidanni

@jidanni jidanni commented Aug 14, 2026

Copy link
Copy Markdown
Contributor

Add missing cross reference from --include-in-header to header-includes.

…er to header-includes

Add missing cross reference from --include-in-header to header-includes.

"Why didn't they tell me earlier?!"
@jgm jgm closed this Aug 14, 2026
@jidanni

jidanni commented Aug 16, 2026

Copy link
Copy Markdown
Contributor Author

My motivation is this is very useful to know. For instance if there is no write permission on the file system, the only way to add a style would be via a variable.

I was using temporary files, when all along I could have been using a variable.

I think it would be useful for other users to know that one doesn't necessarily need to use a temporary file.

Thanks.

@jgm

jgm commented Aug 16, 2026

Copy link
Copy Markdown
Owner

Maybe so, but if so, same should be done for the similar include-before and include-after.
And it would be good for these to be links to the subsection in which they are introduced.
(Automatic links would not be introduced in this case; that is just for command options.)

@jgm jgm reopened this Aug 16, 2026
@jidanni

jidanni commented Aug 16, 2026

Copy link
Copy Markdown
Contributor Author

Thanks. Maybe someone who is more familiar with the manual can look into that.

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.

2 participants