We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
Looking at e.g. this log I see messages like this:
#I Second run through document . . . #W WARNING: non resolved reference: rec( BookName := "ref", Oper := "ViewObj" ) #W WARNING: non resolved reference: rec( BookName := "ref", Oper := "PrintObj" )
The problem is that the GAP reference manual is not built. We should add a check for this, and if it is missing, run make html in the GAP directory.
make html
(This is of course because we use GAP from git; it would also go away if we used GAP release builds)
The text was updated successfully, but these errors were encountered:
No branches or pull requests
Looking at e.g. this log I see messages like this:
The problem is that the GAP reference manual is not built. We should add a check for this, and if it is missing, run
make htmlin the GAP directory.(This is of course because we use GAP from git; it would also go away if we used GAP release builds)
The text was updated successfully, but these errors were encountered: