diff options
author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2013-03-12 23:57:09 -0400 |
---|---|---|
committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2013-03-12 23:57:46 -0400 |
commit | 702f64b93cb215d43f673dd4b2f3646b879c566e (patch) | |
tree | cdedaa87d107ff6429b1e5d20f82f82c4c089de3 /man/custom-html.xsl | |
parent | a0b8045be2206aec3558fdb11dad052cb590bf74 (diff) |
man,html: say 'systemd 198' in the header
This should help readers of the man or HTML pages know if the documentation
is out of date. An alternative to use a date generated from 'git log' was
considered, but since we try to keep user visible documentation up to date,
showing the project version should be enough.
Diffstat (limited to 'man/custom-html.xsl')
-rw-r--r-- | man/custom-html.xsl | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/man/custom-html.xsl b/man/custom-html.xsl index c612baf4d8..c4099b26ba 100644 --- a/man/custom-html.xsl +++ b/man/custom-html.xsl @@ -65,6 +65,11 @@ </xsl:attribute> <xsl:text>gudev </xsl:text> </a> + + <span style="float:right"> + <xsl:text>systemd </xsl:text> + <xsl:value-of select="$systemd.version"/> + </span> <hr/> </xsl:template> |