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

Broken cross reference links in manual in version 1.34 #81

Open
fingolfin opened this issue Oct 20, 2022 · 0 comments
Open

Broken cross reference links in manual in version 1.34 #81

fingolfin opened this issue Oct 20, 2022 · 0 comments

Comments

@fingolfin
Copy link
Member

E.g. qpa/doc/chap6.html contains <a href="/Users/oyvinso/gap-4.11.0/doc/ref/chap62.html#X818DE6C57D1A4B33">

Note that ReleaseTools works hard to avoid this kind of problem -- one trick is that it uses PushOptions(rec(relativePath:="../../..")); before doing Read("makedoc.g") when building the documentation for a release. But that in turn is an AutoDoc feature, which you don't seem to be using to generate the documentation (it is useful for that even if the manual is pure GAPDoc). Anyway, I think all this ends up doing is pass "../../.." as final argument to MakeGAPDocDoc ?

(ReleaseTools also scans for such issues and will refuse to make a release if the manual contains such absolute links.)

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

No branches or pull requests

1 participant