Fix : Compatibility issues with Doxygen version in runner and configuration

[AdarshRawat1]

Impact

Fix the output generated by deploy workflow

[fruffy]

This is your own action? Neat. However, for maintenance reasons it might be easier to just inline this particular installation.

[AdarshRawat1]

This is your own action? Neat.

Yes ! Thanks

However, for maintenance reasons it might be easier to just inline this particular installation.

Sure, I'll do that !!

However this action is responsible only for installating particular version of doxygen being passed, and it would be cleaner this way. (We can simply update the version being passed.)

That is the reason I thought it would be better to have a custom action.

[AdarshRawat1]

As there isn't much that we'll have to maintain here other than the version.

[fruffy]

The main reason for inlining is that we maintain the installation directly here in P4C whereas with the other approach we have to depend on an external action we do not necessarily own.

[AdarshRawat1]

Sure thing !

[jafingerhut]

Is there any difference in information published to P4.org public pages, or any p4lang projects, as a result of these changes? If so, what links could I look at to see the results?

Or perhaps these changes require running Doxygen on one's local system?

[fruffy]

Is there any difference in information published to P4.org public pages, or any p4lang projects, as a result of these changes? If so, what links could I look at to see the results?

Or perhaps these changes require running Doxygen on one's local system?

https://p4lang.github.io/p4c/pages.html

The page is still work in progress.

[AdarshRawat1]

Or perhaps these changes require running Doxygen on one's local system?

Initially, there was this requirement of running the Doxygen locally.
However, the recent setup of the GitHub workflow, automatically deploys Doxygen generated docs to gh-pages branch [configured for GitHub pages].
Ensuring that the latest changes will now be reflected directly on the documentation page for each new commit on main branch.