Skip to content

docs: Add a "Last updated on:" HTML footer #13236

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

Merged
merged 1 commit into from
May 5, 2025

Conversation

jsquyres
Copy link
Member

@jsquyres jsquyres commented May 5, 2025

This shows the build time of the document. Will be useful for docs.open-mpi.org and for the pre-built HTML pages that we ship in distribution tarballs.

It looks like this:

Screenshot 2025-05-05 at 4 19 43 PM

This shows the build time of the document.  Will be useful for
docs.open-mpi.org and for the pre-built HTML pages that we ship in
distribution tarballs.

Signed-off-by: Jeff Squyres <[email protected]>
@jsquyres jsquyres merged commit e0177a9 into open-mpi:main May 5, 2025
15 checks passed
@jsquyres jsquyres deleted the pr/add-last-updated-docs-line branch May 5, 2025 21:12
rhc54 added a commit to rhc54/openpmix that referenced this pull request May 6, 2025
Show the build time of the docs. Ported from
open-mpi/ompi#13236

Signed-off-by: Ralph Castain <[email protected]>
rhc54 added a commit to rhc54/prrte that referenced this pull request May 6, 2025
Show the build time of the docs. Ported from
open-mpi/ompi#13236

Signed-off-by: Ralph Castain <[email protected]>
rhc54 added a commit to rhc54/openpmix that referenced this pull request May 6, 2025
Show the build time of the docs. Ported from
open-mpi/ompi#13236

Signed-off-by: Ralph Castain <[email protected]>
rhc54 added a commit to openpmix/openpmix that referenced this pull request May 6, 2025
Show the build time of the docs. Ported from
open-mpi/ompi#13236

Signed-off-by: Ralph Castain <[email protected]>
rhc54 added a commit to openpmix/prrte that referenced this pull request May 6, 2025
Show the build time of the docs. Ported from
open-mpi/ompi#13236

Signed-off-by: Ralph Castain <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants