reference page intro.html not being generated

[bashbaug]

It looks like the reference page "intro.html" is not being properly generated, so the initial reference page "index.html" is showing a missing page. There is probably an issue in the build scripts somewhere, but I'm not exactly sure where the problem lies.

I am generating the reference pages with:

python3 makeSpec -clean -spec khr OUTDIR=out -j32 manhtmlpages

[oddhack]

Should be fixed in #1127. However, note that while the alphabetic refpage index in the left panel is autogenerated and should be complete, the category index following that is a static file that has not been updated in some time and does not include some extension refpages and extension APIs (this is in man/toctail). It would be difficult to autogenerate this, but relatively straightforward to check it against the refpages to see which refpages are not mentioned somewhere in the category index, and perhaps even throw a CI error if there are any.

Orthogonally, @bashbaug would you be OK with setting 'Automatically delete head branches' on merge in the repo settings? I noticed my branches were not being deleted which surprised me, although it appears? other branches are, so maybe most WG members are used to cleaning up after themselves.

[bashbaug]

would you be OK with setting 'Automatically delete head branches' on merge in the repo settings? I noticed my branches were not being deleted which surprised me, although it appears? other branches are, so maybe most WG members are used to cleaning up after themselves.

Works for me, though we may want to check with the working group to be sure.

I've just been cleaning up after myself, but if this could be done automatically it'd save me a click.

[bashbaug]

note that while the alphabetic refpage index in the left panel is autogenerated and should be complete, the category index following that is a static file that has not been updated in some time and does not include some extension refpages and extension APIs (this is in man/toctail). It would be difficult to autogenerate this, but relatively straightforward to check it against the refpages to see which refpages are not mentioned somewhere in the category index, and perhaps even throw a CI error if there are any.

I just merged #1127, which automatically closed this issue.

Should we file any other trackers for this task?